Jensen, Peter Krogsgaard

• BRICS Report Series No. 51 (1998): RS-51 Automated Modeling of Real-Time Implementation - Articles
  Automated Modeling of Real-Time Implementation
  Abstract  PDF