@ARTICLE\{IMM2005-04138, author = "D. Bj{\o}rner", title = "Multimodal Transportation Nets", year = "2005", keywords = "Research Report", pages = "30", journal = "British Computer Society {FACS} {FACT}", volume = "", editor = "Paul Boca", number = "4", publisher = "", url = "http://www2.compute.dtu.dk/pubdb/pubs/4138-full.html" }