Embedded Software Validation: Applying Formal Techniques for Coverage and Test Generation. - Tamarah Arons; Elad Elster; Terry Murphy; Eli Singerman (MTV, 2006)