Tamarah Arons Elad Elster Terry Murphy Eli Singerman Embedded Software Validation: Applying Formal Techniques for Coverage and Test Generation. 45-51 2006 conf/mtv/2006 MTV http://doi.ieeecomputersociety.org/10.1109/MTV.2006.11 db/conf/mtv/mtv2006.html#AronsEMS06