{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:16:26Z","timestamp":1725574586722},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540250814"},{"type":"electronic","value":"9783540317975"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31797-5_16","type":"book-chapter","created":{"date-parts":[[2011,1,14]],"date-time":"2011-01-14T06:39:22Z","timestamp":1294987162000},"page":"150-162","source":"Crossref","is-referenced-by-count":1,"title":["SoftContract: Model-Based Design of Error-Checking Code and Property Monitors"],"prefix":"10.1007","author":[{"given":"Luciano","family":"Lavagno","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Di Natale","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Ferrari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Giusto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"ETAS, Ascet-SD: (2004), \n                    \n                      http:\/\/www.etas.de"},{"key":"16_CR2","unstructured":"Simulink, T.M.: StateFlow (2004), \n                    \n                      http:\/\/www.mathworks.com"},{"key":"16_CR3","unstructured":"dSPACE TargetLink: (2004), \n                    \n                      http:\/\/www.dspace.de\/"},{"key":"16_CR4","unstructured":"Language, A.P.S.: \n                    \n                      http:\/\/www.accellera.org\/\n                    \n                    \n                   (2004)"},{"key":"16_CR5","unstructured":"Alexander, P., Kong, C., Barton, D.: Rosetta usage guide (2003), \n                    \n                      http:\/\/www.sldl.org"},{"key":"16_CR6","unstructured":"OMG, Object Mangement Group\u2019s UML Profile for Schedulability, Performance, and Time. OMG document ptc\/02-03-02 (2002)"},{"key":"16_CR7","unstructured":"Medina, J., Harbour, M.G., Drake, J.: Mast real-time view: A graphic uml tool for modeling object-oriented real-time systems. In: Proceedings of IEEE Real-Time Systems Symposium (2001)"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Saksena, M., Freedman, P., Rodziewic, P.: Automated implementation of executable object oriented models for real-time embedded control systems. In: Proceedings of IEEE Real-Time Systems Symposium (1997)","DOI":"10.1109\/REAL.1997.641286"},{"key":"16_CR9","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/BF01245300","volume":"6","author":"A. Burns","year":"1994","unstructured":"Burns, A., Welling, A.J.: HRT-HOOD: A design method for hard real-time. Journal of Real-Time Systems\u00a06, 73\u2013114 (1994)","journal-title":"Journal of Real-Time Systems"},{"key":"16_CR10","unstructured":"Cornwell, P.D.: Reusable Component Engineering For Hard Real-Time Systems. PhD thesis, University of York (1998), YCST-98-04"},{"key":"16_CR11","doi-asserted-by":"publisher","first-page":"933","DOI":"10.1109\/32.368134","volume":"20","author":"F. Jahanian","year":"1994","unstructured":"Jahanian, F., Mok, A.: Modechart: a specification language for real-time systems. IEEE Transactions on Software Engineering\u00a020, 933\u2013947 (1994)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"Mok, A., Liu, G.: Early detection of timing violation at runtime. In: Proceedings of IEEE Real-Time Systems Symposium (1997)","DOI":"10.1109\/REAL.1997.641280"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Puchol, C., Mok, A.: Integrated design tools for hard real-time systems. In: Proceedings of IEEE Real-Time Systems Symposium (1998)","DOI":"10.1109\/REAL.1998.739770"},{"key":"16_CR14","unstructured":"Chen, X., Hsieh, H., Balarin, F., Watanabe, Y.: Automatic generation of simulation monitors from quantitative constraint formula. In: Proceedings of Design Automation and Test in Europe (2003)"}],"container-title":["Lecture Notes in Computer Science","UML Modeling Languages and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31797-5_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,23]],"date-time":"2019-03-23T19:16:17Z","timestamp":1553368577000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31797-5_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540250814","9783540317975"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31797-5_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}