Model-Based Verification of Embedded Software
Hesham Shokry, Mike Hinchey · Computer · 2009
Current advances in model-based development technology indicate that embedded-software developers can expect more tool support for the whole embedded-software spectrum, from applications to system software.