@CONFERENCE\{IMM1993-01800, author = "J. P. Bowen and M. Fr{\"{a}}nzle and E. Olderog and A. P. Ravn", title = "Developing correct systems", year = "1993", month = "jun", pages = "176-189", booktitle = "Proc. 5th Euromicro Workshop on Real-Time Systems", volume = "", series = "", editor = "", publisher = "{IEEE} Computer Society Press", organization = "", address = "", url = "http://www2.compute.dtu.dk/pubdb/pubs/1800-full.html" }