
Automatic synthesis and verification of real-time embedded software for mobile and ubiquitous systems
Keywords: Application framework; Code generation; Real-time embedded software; Formal synthesis; Formal verification; Scheduling; Software components; UML modeling