Structured automated code checking through structural components and systems engineering