@inbook{David2014,
    Address = {Cham},
    Author = {David, Alexandre and Jensen, Peter G. and Larsen, Kim Guldstrand and Legay, Axel and Lime, Didier and S{\o}rensen, Mathias Grund and Taankvist, Jakob H.},
    BookTitle = {Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings},
    Editor = {Cassez, Franck and Raskin, Jean-Fran{\c{c}}ois},
    File = {DJLLLST-atva14 (0) - a - a - w.pdf},
    ISBN = {978-3-319-11936-6},
    Pages = {129--145},
    Publisher = {Springer International Publishing},
    Title = {On Time with Minimal Expected Cost!},
    URL = {http://dx.doi.org/10.1007/978-3-319-11936-6\_10},
    Year = {2014},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-319-11936-6\_10},
    date-added = {2017-02-27 08:34:30 +0000},
    date-modified = {2017-02-27 08:34:30 +0000},
    file-2 = {Cassting3-Larsen (0) - a - a - w.pdf},
    doi = {10.1007/978-3-319-11936-6_10}
}

@inbook{David2014, Address = {Cham}, Author = {David, Alexandre and Jensen, Peter G. and Larsen, Kim Guldstrand and Legay, Axel and Lime, Didier and S{\o}rensen, Mathias Grund and Taankvist, Jakob H.}, BookTitle = {Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings}, Editor = {Cassez, Franck and Raskin, Jean-Fran{\c{c}}ois}, File = {DJLLLST-atva14 (0) - a - a - w.pdf}, ISBN = {978-3-319-11936-6}, Pages = {129--145}, Publisher = {Springer International Publishing}, Title = {On Time with Minimal Expected Cost!}, URL = {http://dx.doi.org/10.1007/978-3-319-11936-6_10}, Year = {2014}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-319-11936-6_10}, date-added = {2017-02-27 08:34:30 +0000}, date-modified = {2017-02-27 08:34:30 +0000}, file-2 = {Cassting3-Larsen (0) - a - a - w.pdf}, doi = {10.1007/978-3-319-11936-6_10} }