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