Generating a Device Driver with a Formal Specification Language. - Katayama, Tetsuro; Saisho, Keizo; Fukuda, Akira (1999)