@inproceedings{Lamport:2005:RMC:2156375.2156396,
    Address = {Berlin, Heidelberg},
    Author = {Lamport, Leslie},
    BookTitle = {Proceedings of the 13 IFIP WG 10.5 international conference on Correct Hardware Design and Verification Methods},
    File = {Real-time model checking is really simple - Lamport (0) (0) - a - a - b.pdf},
    ISBN = {3-540-29105-9, 978-3-540-29105-3},
    Keywords = {timed automata},
    Location = {Saarbr\&\\#252;cken, Germany},
    Pages = {162--175},
    Publisher = {Springer-Verlag},
    Series = {CHARME'05},
    Title = {Real-time model checking is really simple},
    URL = {http://dx.doi.org/10.1007/11560548\_14},
    Year = {2005},
    acmid = {2156396},
    bdsk-url-1 = {http://dx.doi.org/10.1007/11560548\_14},
    date-added = {2012-07-07 10:01:54 +0200},
    date-modified = {2012-07-10 16:00:32 +0000},
    file-2 = {Real-time model checking is really simple - Lamport (1) (0) - a - a - b.pdf},
    numpages = {14},
    doi = {10.1007/11560548_14}
}

@inproceedings{Lamport:2005:RMC:2156375.2156396, Address = {Berlin, Heidelberg}, Author = {Lamport, Leslie}, BookTitle = {Proceedings of the 13 IFIP WG 10.5 international conference on Correct Hardware Design and Verification Methods}, File = {Real-time model checking is really simple - Lamport (0) (0) - a - a - b.pdf}, ISBN = {3-540-29105-9, 978-3-540-29105-3}, Keywords = {timed automata}, Location = {Saarbr\&\#252;cken, Germany}, Pages = {162--175}, Publisher = {Springer-Verlag}, Series = {CHARME'05}, Title = {Real-time model checking is really simple}, URL = {http://dx.doi.org/10.1007/11560548_14}, Year = {2005}, acmid = {2156396}, bdsk-url-1 = {http://dx.doi.org/10.1007/11560548_14}, date-added = {2012-07-07 10:01:54 +0200}, date-modified = {2012-07-10 16:00:32 +0000}, file-2 = {Real-time model checking is really simple - Lamport (1) (0) - a - a - b.pdf}, numpages = {14}, doi = {10.1007/11560548_14} }