@article{DBLP:journals/sttt/BucciCRV10,
    author = "Bucci, Giacomo and Carnevali, Laura and Ridi, Lorenzo and Vicario, Enrico",
    title = "Oris: a tool for modeling, verification and evaluation of real-time systems",
    journal = "Int. J. Softw. Tools Technol. Transf.",
    volume = "12",
    number = "5",
    pages = "391--403",
    year = "2010",
    url = "https://doi.org/10.1007/s10009-010-0156-8",
    doi = "10.1007/S10009-010-0156-8",
    timestamp = "Thu, 02 Apr 2020 01:00:00 +0200",
    biburl = "https://dblp.org/rec/journals/sttt/BucciCRV10.bib",
    bibsource = "dblp computer science bibliography, https://dblp.org"
}

{"_id":"FzJJgayrkGTZFoHxN","bibbaseid":"bucci-carnevali-ridi-vicario-orisatoolformodelingverificationandevaluationofrealtimesystems-2010","author_short":["Bucci, G.","Carnevali, L.","Ridi, L.","Vicario, E."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Bucci"],"firstnames":["Giacomo"],"suffixes":[]},{"propositions":[],"lastnames":["Carnevali"],"firstnames":["Laura"],"suffixes":[]},{"propositions":[],"lastnames":["Ridi"],"firstnames":["Lorenzo"],"suffixes":[]},{"propositions":[],"lastnames":["Vicario"],"firstnames":["Enrico"],"suffixes":[]}],"title":"Oris: a tool for modeling, verification and evaluation of real-time systems","journal":"Int. J. Softw. Tools Technol. Transf.","volume":"12","number":"5","pages":"391–403","year":"2010","url":"https://doi.org/10.1007/s10009-010-0156-8","doi":"10.1007/S10009-010-0156-8","timestamp":"Thu, 02 Apr 2020 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/sttt/BucciCRV10.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/sttt/BucciCRV10,\n author = \"Bucci, Giacomo and Carnevali, Laura and Ridi, Lorenzo and Vicario, Enrico\",\n title = \"Oris: a tool for modeling, verification and evaluation of real-time systems\",\n journal = \"Int. J. Softw. Tools Technol. Transf.\",\n volume = \"12\",\n number = \"5\",\n pages = \"391--403\",\n year = \"2010\",\n url = \"https://doi.org/10.1007/s10009-010-0156-8\",\n doi = \"10.1007/S10009-010-0156-8\",\n timestamp = \"Thu, 02 Apr 2020 01:00:00 +0200\",\n biburl = \"https://dblp.org/rec/journals/sttt/BucciCRV10.bib\",\n bibsource = \"dblp computer science bibliography, https://dblp.org\"\n}\n\n","author_short":["Bucci, G.","Carnevali, L.","Ridi, L.","Vicario, E."],"key":"DBLP:journals/sttt/BucciCRV10","id":"DBLP:journals/sttt/BucciCRV10","bibbaseid":"bucci-carnevali-ridi-vicario-orisatoolformodelingverificationandevaluationofrealtimesystems-2010","role":"author","urls":{"Paper":"https://doi.org/10.1007/s10009-010-0156-8"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://bibbase.org/network/files/ws3af8SM9SMEYsH2f","dataSources":["PZg5PtcToSZkgSyYp","qQnqccZvH25J6baZj","WKKW4iPgS2HZ3iYgC","ayX6N9CZwEAB9vnsu","p5NhmgzaptHibbc54","yJus66XMcAovEa59P","Dku8hLpmnK4EMRGxi","o4c8ZrEv4pXJNTWsQ","Am74mndWeepaSMcba","g7R8qBvQHnTH2cmxX","NjpvvPPb5uHsATbEa"],"keywords":[],"search_terms":["oris","tool","modeling","verification","evaluation","real","time","systems","bucci","carnevali","ridi","vicario"],"title":"Oris: a tool for modeling, verification and evaluation of real-time systems","year":2010}