Title: UML-B Specification for Proven Embedded Systems Design
Subjects: Embedded computer systems, Application software, UML (Computer science), B (Computer program language), Uml (computer science), Programming languages (electronic computers)