SIGNAL as a Model for Real-Time and Hybrid Systems. Benveniste, A., Borgne, M. L., & Guernic, P. L. In ESOP, volume 582, of Lecture Notes in Computer Science, pages 20-38, 1992. Springer.
Link
Paper bibtex @inproceedings{conf/esop/BenvenisteBG92,
added-at = {2009-09-20T00:00:00.000+0200},
author = {Benveniste, Albert and Borgne, Michel Le and Guernic, Paul Le},
biburl = {http://www.bibsonomy.org/bibtex/2564fa98a361e5126b27df01011c16ea1/dblp},
booktitle = {ESOP},
crossref = {conf/esop/1992},
date = {2009-09-20},
description = {dblp},
editor = {Krieg-Brückner, Bernd},
ee = {http://dx.doi.org/10.1007/3-540-55253-7_2},
interhash = {b8bce401416b581f2fbf68c4aeeebb1c},
intrahash = {564fa98a361e5126b27df01011c16ea1},
isbn = {3-540-55253-7},
keywords = {dblp},
pages = {20-38},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2009-09-22T11:38:18.000+0200},
title = {SIGNAL as a Model for Real-Time and Hybrid Systems.},
url = {http://dblp.uni-trier.de/db/conf/esop/esop92.html#BenvenisteBG92},
volume = 582,
year = 1992
}