ATimePetri NetBasedApproach forEmbeddedHard Real-Time Software Synthesis withMultiple Operational Modes