Alex Niemegeers, Gjalt G. de Jong. An Incremental Specification Flow for Real Time Embedded Systems. In 2000 Design, Automation and Test in Europe (DATE 2000), 27-30 March 2000, Paris, France. pages 761, IEEE Computer Society, 2000. [doi]
Abstract is missing.