Abstract Interpretation and Verification of Reactive Systems.

Jean-Claude Fernandez Abstract Interpretation and Verification of Reactive Systems. 60-71 1993 conf/sas/1993 WSA db/conf/sas/wsa93.html#Fernandez93