@article{Yovine:KRONOS:1997,
    Author = {Yovine, Sergio},
    File = {Kronos\_A\_Verification\_Tool\_for\_Real-Time\_Systems\_K (0) (0) - a - a - p.pdf},
    ISSN = {1433-2779},
    Journal = {International Journal on Software Tools for Technology Transfer},
    Month = {Dec},
    Number = {1},
    Pages = {123--133},
    Title = {KRONOS: a verification tool for real-time systems},
    URL = {https://doi.org/10.1007/s100090050009},
    Volume = {1},
    Year = {1997},
    bdsk-url-1 = {https://doi.org/10.1007/s100090050009},
    date-added = {2019-04-22 18:31:21 +0200},
    date-modified = {2019-04-22 18:31:53 +0200},
    day = {01},
    doi = {10.1007/s100090050009}
}

@article{Yovine:KRONOS:1997, Author = {Yovine, Sergio}, File = {Kronos_A_Verification_Tool_for_Real-Time_Systems_K (0) (0) - a - a - p.pdf}, ISSN = {1433-2779}, Journal = {International Journal on Software Tools for Technology Transfer}, Month = {Dec}, Number = {1}, Pages = {123--133}, Title = {KRONOS: a verification tool for real-time systems}, URL = {https://doi.org/10.1007/s100090050009}, Volume = {1}, Year = {1997}, bdsk-url-1 = {https://doi.org/10.1007/s100090050009}, date-added = {2019-04-22 18:31:21 +0200}, date-modified = {2019-04-22 18:31:53 +0200}, day = {01}, doi = {10.1007/s100090050009} }