On the Construction of a Domain Language for a Class of Reactive Systems
in High Integrity Software , Kluwer Academic Publishers, 2001, 169-196.
Deepak Kapur and Victor L. Winter

To get a copy of this article, please send email to kapur@cs.unm.edu or write to

Department of Computer Science
University of New Mexico
Albuquerque, NM 87131