Wolfgang K. Giloi Reinhold Güth Bruce D. Shriver Firmware engineering: methods and tools for firmware specification and design. 49-55 1981 AFIPS National Computer Conference http://doi.acm.org/10.1145/1500412.1500419 conf/afips/1981 db/conf/afips/ncc81.html#GiloiGS81