Paola Inverardi Balachander Krishnamurthy Daniel Yankelevich Yeast: A Case Study for a Practical Use of Formal Methods. 105-120 1993 conf/tapsoft/1993 TAPSOFT db/conf/tapsoft/tapsoft93.html#InverardiKY93 http://dx.doi.org/10.1007/3-540-56610-4_59