{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T22:00:50Z","timestamp":1757541650648,"version":"3.40.3"},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319054155"},{"type":"electronic","value":"9783319054162"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-05416-2_15","type":"book-chapter","created":{"date-parts":[[2014,4,5]],"date-time":"2014-04-05T05:41:09Z","timestamp":1396676469000},"page":"229-245","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Wind Turbine System: An Industrial Case Study in Formal Modeling and Verification"],"prefix":"10.1007","author":[{"given":"Jagadish","family":"Suryadevara","sequence":"first","affiliation":[]},{"given":"Gaetana","family":"Sapienza","sequence":"additional","affiliation":[]},{"given":"Cristina","family":"Seceleanu","sequence":"additional","affiliation":[]},{"given":"Tiberiu","family":"Seceleanu","sequence":"additional","affiliation":[]},{"given":"Stein-Erik","family":"Ellevseth","sequence":"additional","affiliation":[]},{"given":"Paul","family":"Pettersson","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,4,6]]},"reference":[{"key":"15_CR1","series-title":"LNCS","first-page":"559","volume-title":"MODELS 2007","author":"C Andr\u00e9","year":"2007","unstructured":"Andr\u00e9, C., Mallet, F., de Simone, R.: Modeling time(s). In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 559\u2013573. Springer, Heidelberg (2007)"},{"key":"15_CR2","unstructured":"ATESST (Advancing Traffic Efficiency through Software Technology): East-ADL2 specification. http:\/\/www.atesst.org (2008)"},{"key":"15_CR3","series-title":"LNCS","doi-asserted-by":"publisher","DOI":"10.1007\/b106761","volume-title":"Embedded Systems Design: The ARTIST Roadmap for Research and Development","author":"B Bouyssounouse","year":"2005","unstructured":"Bouyssounouse, B., Sifakis, J.: Embedded Systems Design: The ARTIST Roadmap for Research and Development. LNCS. Springer, Heidelberg (2005)"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Enoiu, E.P., Marinescu, R., Seceleanu, C., Pettersson, P.: Vital : a verification tool for east-adl models using uppaal port. In: ICECCS\u201912, July 2012 (2012)","DOI":"10.1109\/ICECCS20050.2012.6299228"},{"key":"15_CR5","series-title":"LNCS","first-page":"89","volume-title":"ECSA 2013","author":"A Goknil","year":"2013","unstructured":"Goknil, A., Suryadevara, J., Peraldi-Frati, M.A., Mallet, F.: Analysis support for TADL2 timing constraints on EAST-ADL models. In: Drira, K. (ed.) ECSA 2013. LNCS, vol. 7957, pp. 89\u2013105. Springer, Heidelberg (2013)"},{"issue":"1\u20132","key":"15_CR6","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"KG Larsen","year":"1997","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: Uppaal in a Nutshell. Int. J. Softw. Tools Technol. Transfer 1(1\u20132), 134\u2013152 (1997)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"15_CR7","unstructured":"OMG: UML Profile for MARTE, v1.0. Object Management Group, formal\/2009-11-02 (November 2009)"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Peraldi-Frati, M.A., Goknil, A., Deantoni, J., Nordlander, J.: A timing model for specifying multi clock automotive systems: the timing augmented description language V2. In: ICECCS 2012, pp. 230\u2013239 (2012)","DOI":"10.1109\/ICECCS20050.2012.6299218"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"Slutej, D., H\u00e5kansson, J., Suryadevara, J., Seceleanu, C., Pettersson, P.: Analyzing a pattern-based model of a real-time turntable system. In: Jens\u00a0Happe, B.Z. (ed.) 6th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA), ETAPS\u201909, York, UK, March 2009. Electronic Notes in Theoretical Computer Science (ENTCS), vol. 253, pp. 161\u2013178. Elsevier (2009)","DOI":"10.1016\/j.entcs.2009.09.034"},{"key":"15_CR10","series-title":"LNCS","first-page":"1","volume-title":"SEFM 2013","author":"J Suryadevara","year":"2013","unstructured":"Suryadevara, J., Seceleanu, C., Mallet, F., Pettersson, P.: Verifying MARTE\/CCSL mode behaviors using UPPAAL. In: Hierons, R.M., Merayo, M.G., Bravetti, M. (eds.) SEFM 2013. LNCS, vol. 8137, pp. 1\u201315. Springer, Heidelberg (2013)"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Suryadevara, J.: Validating EAST-ADL timing constraints using UPPAAL. In: 39th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2013 (2013)","DOI":"10.1109\/SEAA.2013.46"}],"container-title":["Communications in Computer and Information Science","Formal Techniques for Safety-Critical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-05416-2_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,20]],"date-time":"2023-02-20T00:42:12Z","timestamp":1676853732000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-05416-2_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319054155","9783319054162"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-05416-2_15","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"6 April 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}