@CONFERENCE\{IMM1999-01790,
    author       = "M. Fr{\"{a}}nzle and K. Lüth",
    title        = "Visual temporal logic as a rapid prototyping tool",
    year         = "1999",
    pages        = "1-15",
    booktitle    = "Proceeding of the first international symposium on Visual Formal Methods {VFM'}99 [Invited paper]",
    volume       = "",
    series       = "Computing Science Reports",
    editor       = "D. Bosnacki, S. Mauw, and T. Willemse",
    publisher    = "Dpt. of Mathematics and Computing Science",
    organization = "",
    address      = "Eindhoven University of Technology",
    url          = "http://www.imm.dtu.dk/~mf/visual99.ps.gz"
}