@ARTICLE\{IMM1988-02047, author = "A. P. Ravn and H. Rischel and H. H. L{\o}vengreen", title = "A Design Method for Embedded Software Systems", year = "1988", pages = "427-438", journal = "BIT", volume = "28", editor = "", number = "3", publisher = "", url = "http://www2.compute.dtu.dk/pubdb/pubs/2047-full.html" }