Steven D. Johnson: Formal Methods in Embedded Design. Computer 36(11): 104-106 (2003)