Transitioning from Crescendo to INTO-CPS. Lausdahl, K., Bjerge, K., Bokhove, T., Groen, F., & Larsen, P. G. In Fitzgerald, J., Tran-Jørgensen, P. W. V., & Oda, T., editors, Proceedings of the 15th Overture Workshop, pages 16–30, Computing Science. Technical Report Series. CS-TR- 1513, September, 2017. Newcastle University. bibtex @INPROCEEDINGS{Lausdahl&17,
KEY = "Lausdahl\&17",
AUTHOR = "Kenneth Lausdahl and Kim Bjerge and Tom Bokhove and Frank Groen
and Peter Gorm Larsen",
EDITOR = "John Fitzgerald and Peter W. V. Tran-J\o{}rgensen and Tomohiro Oda",
TITLE = "{Transitioning from Crescendo to {INTO-CPS}}",
BOOKTITLE = "Proceedings of the 15th Overture Workshop",
PUBLISHER = "Newcastle University",
ADDRESS = "Computing Science. Technical Report Series. CS-TR- 1513",
YEAR = "2017",
MONTH = "September",
PAGES = "16--30",
COMMENT = ""}
%G INTOCPSPUB OVERTURE