{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:25:06Z","timestamp":1759638306485},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642191695"},{"type":"electronic","value":"9783642191701"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-19170-1_28","type":"book-chapter","created":{"date-parts":[[2011,2,11]],"date-time":"2011-02-11T23:04:56Z","timestamp":1297465496000},"page":"256-265","source":"Crossref","is-referenced-by-count":10,"title":["SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design"],"prefix":"10.1007","author":[{"given":"Paulo","family":"Barbosa","sequence":"first","affiliation":[]},{"given":"Jo\u00e3o Paulo","family":"Barros","sequence":"additional","affiliation":[]},{"given":"Franklin","family":"Ramalho","sequence":"additional","affiliation":[]},{"given":"Lu\u00eds","family":"Gomes","sequence":"additional","affiliation":[]},{"given":"Jorge","family":"Figueiredo","sequence":"additional","affiliation":[]},{"given":"Filipe","family":"Moutinho","sequence":"additional","affiliation":[]},{"given":"Anik\u00f3","family":"Costa","sequence":"additional","affiliation":[]},{"given":"Andr\u00e9","family":"Aranha","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"28_CR1","doi-asserted-by":"crossref","unstructured":"Gomes, L., Fernandes, J.M.: Behavioral Modeling for Embedded Systems and Technologies. Information Science Reference (2009)","DOI":"10.4018\/978-1-60566-750-8"},{"key":"28_CR2","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1109\/54.844330","volume":"17","author":"M. Sgroi","year":"2000","unstructured":"Sgroi, M., Lavagno, L., Sangiovanni-Vincentelli, A.: Formal models for embedded system design. IEEE Des. Test\u00a017, 14\u201327 (2000)","journal-title":"IEEE Des. Test"},{"key":"28_CR3","unstructured":"Gomes, L., Barros, J.P., Costa, A., Pais, R., Moutinho, F.: Formal Methods for Embedded Systems Co design: the FORDESIGN Project. In: Proceedings of Workshop Reconfigurable Communication-centric Systems-on Chip, ReCoSoC 2005 (2005)"},{"key":"28_CR4","doi-asserted-by":"crossref","unstructured":"Girault, C., R\u00fcdiger, V.: Petri Nets for Systems Engineering. In: XV, Hardcover, p. 607 (2003)","DOI":"10.1007\/978-3-662-05324-9"},{"key":"28_CR5","unstructured":"Barbosa, P., Costa, A., Ramalho, F., Figueiredo, J., Gomes, L., Junior, A.: Checking Semantics Equivalence of MDA Transformations in Concurrent Systems. Journal of Universal Computer Science (J.UCS) (to appear 2009), \n                    \n                      http:\/\/www.jucs.org\/jucs"},{"key":"28_CR6","unstructured":"OMG: Model-Driven Architecture (2008), \n                    \n                      http:\/\/www.omg.org\/mda\/"},{"key":"28_CR7","series-title":"IFIP Advances in Information and Communication Technology","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/978-3-642-11628-5_27","volume-title":"Emerging Trends in Technological Innovation","author":"P. Barbosa","year":"2010","unstructured":"Barbosa, P., Ramalho, F., Figueiredo, J., Costa, A., Gomes, L., Junior, A.: Semantic equations for formal models in the model-driven architecture. In: Camarinha-Matos, L.M., Pereira, P., Ribeiro, L. (eds.) DoCEIS 2010. IFIP Advances in Information and Communication Technology, vol.\u00a0314, pp. 251\u2013260. Springer, Heidelberg (2010)"},{"key":"28_CR8","doi-asserted-by":"crossref","unstructured":"Moutinho, F., Gomes, L., Ramalho, F., Figueiredo, J., Barros, J.P., Barbosa, P., Pais, R., Costa, A.: Ecore Representation for Extending PNML for Input-Output Place-Transition Nets. In: 36th Annual Conference of the IEEE Industrial Electronics Society, IECON 2010, Glendale, AZ, November 7-10 (2010)","DOI":"10.1109\/IECON.2010.5675332"},{"key":"28_CR9","series-title":"Lecture Notes in Computer Science","first-page":"483","volume-title":"Open Source Graph Drawing Tools","author":"J. Ellson","year":"2001","unstructured":"Ellson, J., Gansner, E., Koutsofios, L., North, S., Woodhull, G., Description, S., Technologies, L.: Graphviz. In: Open Source Graph Drawing Tools. LNCS, pp. 483\u2013484. Springer, Heidelberg (2001)"}],"container-title":["IFIP Advances in Information and Communication Technology","Technological Innovation for Sustainability"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-19170-1_28.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T22:14:24Z","timestamp":1606169664000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-19170-1_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642191695","9783642191701"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-19170-1_28","relation":{},"ISSN":["1868-4238","1861-2288"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1861-2288"}],"subject":[],"published":{"date-parts":[[2011]]}}}