{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:33:35Z","timestamp":1725460415760},"publisher-location":"Boston","reference-count":13,"publisher":"Kluwer Academic Publishers","isbn-type":[{"type":"print","value":"1402079966"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/1-4020-7997-4_6","type":"book-chapter","created":{"date-parts":[[2006,2,17]],"date-time":"2006-02-17T18:51:14Z","timestamp":1140202274000},"page":"171-211","source":"Crossref","is-referenced-by-count":0,"title":["Modeling and verifying behavioral aspects"],"prefix":"10.1007","author":[{"given":"F.","family":"Br\u00e9ant","sequence":"first","affiliation":[]},{"given":"J.-M.","family":"Couvreur","sequence":"additional","affiliation":[]},{"given":"F.","family":"Gilliers","sequence":"additional","affiliation":[]},{"given":"F.","family":"Kordon","sequence":"additional","affiliation":[]},{"given":"I.","family":"Mounier","sequence":"additional","affiliation":[]},{"given":"E.","family":"Paviot-Adet","sequence":"additional","affiliation":[]},{"given":"D.","family":"Poitrenaud","sequence":"additional","affiliation":[]},{"given":"D.","family":"Regep","sequence":"additional","affiliation":[]},{"given":"G.","family":"Sutre","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"6","key":"6_CR1","doi-asserted-by":"crossref","first-page":"509","DOI":"10.1109\/TC.1978.1675141","volume":"27","author":"B. Akers","year":"1978","unstructured":"B. Akers. Binary decision diagrams. IEEE Transactions on Computers, 27(6):509\u2013516, 1978.","journal-title":"IEEE Transactions on Computers"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"P. Bose. Automated translation of UML models of architectures for verification and simulation using SPIN. In Robert J. Hall and Ernst Tyugu, editors, 14th IEEE International Conference on Automated Software Engineering, ASE\u201999. IEEE, 1999.","DOI":"10.1109\/ASE.1999.802135"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"K. S. Brace, R. L. Rudell, and R. E. Bryant. Efficient Implementation of a BDD Package. In 27th ACM\/IEEE Design Automation Conference, pages 40\u201345, Orlando, Florida, June 1990. ACM\/IEEE, IEEE Computer Society Press.","DOI":"10.1145\/123186.123222"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"[CEPA+02]_J. M. Couvreur, E. Encrenaz, E. Paviot-Adet, D. Poitrenaud, and P. A. Wacrenier. Data decision diagram for Petrinets analysis. In Proc. of ICATPN 2002, volume 2360 of LNCS, pages 101\u2013120. Springer Verlag, june 2002.","DOI":"10.1007\/3-540-48068-4_8"},{"key":"6_CR5","unstructured":"F. Gilliers, F. Kordon, and D. Regep. Proposal for a Model Based Development of Distributed Embedded Systems. In 2002 Monterey Workshop: Radical Innovations of Software and Systems Engineering in the Future, 2002."},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"S. Gnesi, D. Latella, and M. Massink. Model checking uml statechart diagrams using jack. In 4th IEEE International Symposium on High-Assurance Systems Engineering. IEEE, 1999.","DOI":"10.1109\/HASE.1999.809474"},{"key":"6_CR7","unstructured":"ITU-T. Open Distributed Processing, X.901, X.902, X.903 and X.904 standard. Technical report, ITU-T, 1997."},{"issue":"9","key":"6_CR8","doi-asserted-by":"crossref","first-page":"817","DOI":"10.1109\/TSE.2002.1033222","volume":"28","author":"F. Kordon","year":"2002","unstructured":"F. Kordon and Luqi. An introduction to rapid system prototyping. IEEE Transaction on Software Engineering, 28(9):817\u2013821, September 2002.","journal-title":"IEEE Transaction on Software Engineering"},{"issue":"2","key":"6_CR9","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1145\/253671.253754","volume":"40","author":"N. Leveson","year":"1997","unstructured":"N. Leveson. Software engineering: Stretching the limits of complexity. Communications of the ACM, 40(2):129\u2013131, 1997.","journal-title":"Communications of the ACM"},{"issue":"1","key":"6_CR10","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1109\/52.566430","volume":"14","author":"Luqi","year":"1997","unstructured":"Luqi and J. Goguen. Formal methods: Promises and problems. IEEE Software, 14(1):73\u201385, January \/ February 1997.","journal-title":"IEEE Software"},{"key":"6_CR11","unstructured":"OMG. Omg unified modeling language specification, version 1.3. Technical report, OMG, 1999."},{"key":"6_CR12","unstructured":"OMG. Initial Submission to OMG RFP\u2019s: ad\/00-09-01 (UML 2.0 Infrastructure) ad\/00-09-03 (UML 2.0 OCL). Technical report, OMG, 2001."},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"D. Quartel, M. van Sinderen, and L. Ferreira Pires. A model-based approach to service creation. In 7th IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems, pages 102\u2013110. IEEE Computer Society, 1999.","DOI":"10.1109\/FTDCS.1999.818791"}],"container-title":["Formal Methods for Embedded Distributed Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/1-4020-7997-4_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:22:04Z","timestamp":1619554924000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/1-4020-7997-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["1402079966"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/1-4020-7997-4_6","relation":{},"subject":[]}}