Formally Specifying the Logic of an Automatic Guidance Controller.

David Guaspari Formally Specifying the Logic of an Automatic Guidance Controller. 372-383 1991 conf/adaEurope/1991 Ada-Europe db/conf/adaEurope/adaEurope1991.html#Guaspari91 http://dx.doi.org/10.1007/BFb0018507