@article{Abadi:1994:ORR:186025.186058,
    Address = {New York, NY, USA},
    Author = {Abadi, Mart\'{\i}n and Lamport, Leslie},
    File = {An old-fashioned recipe for real time - Abadi, Lamport (0) (0) - a - a - k.pdf},
    ISSN = {0164-0925},
    Journal = {ACM Trans. Program. Lang. Syst.},
    Keywords = {timed automata and readme},
    Month = {September},
    Number = {5},
    Pages = {1543--1571},
    Publisher = {ACM},
    Title = {An old-fashioned recipe for real time},
    URL = {http://doi.acm.org/10.1145/186025.186058},
    Volume = {16},
    Year = {1994},
    acmid = {186058},
    bdsk-url-1 = {http://doi.acm.org/10.1145/186025.186058},
    bdsk-url-2 = {http://dx.doi.org/10.1145/186025.186058},
    date-added = {2012-07-10 17:12:59 +0200},
    date-modified = {2014-10-29 07:32:33 +0000},
    file-2 = {An old-fashioned recipe for real time - Abadi, Lamport (1) (0) - a - a - k.pdf},
    issue_date = {Sept. 1994},
    numpages = {29},
    doi = {10.1145/186025.186058}
}

@article{Abadi:1994:ORR:186025.186058, Address = {New York, NY, USA}, Author = {Abadi, Mart\'{\i}n and Lamport, Leslie}, File = {An old-fashioned recipe for real time - Abadi, Lamport (0) (0) - a - a - k.pdf}, ISSN = {0164-0925}, Journal = {ACM Trans. Program. Lang. Syst.}, Keywords = {timed automata and readme}, Month = {September}, Number = {5}, Pages = {1543--1571}, Publisher = {ACM}, Title = {An old-fashioned recipe for real time}, URL = {http://doi.acm.org/10.1145/186025.186058}, Volume = {16}, Year = {1994}, acmid = {186058}, bdsk-url-1 = {http://doi.acm.org/10.1145/186025.186058}, bdsk-url-2 = {http://dx.doi.org/10.1145/186025.186058}, date-added = {2012-07-10 17:12:59 +0200}, date-modified = {2014-10-29 07:32:33 +0000}, file-2 = {An old-fashioned recipe for real time - Abadi, Lamport (1) (0) - a - a - k.pdf}, issue_date = {Sept. 1994}, numpages = {29}, doi = {10.1145/186025.186058} }