{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T15:37:35Z","timestamp":1743089855663,"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_8","type":"book-chapter","created":{"date-parts":[[2014,4,5]],"date-time":"2014-04-05T05:41:09Z","timestamp":1396676469000},"page":"107-124","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["TTM\/PAT: Specifying and Verifying Timed Transition Models"],"prefix":"10.1007","author":[{"given":"Jonathan S.","family":"Ostroff","sequence":"first","affiliation":[]},{"given":"Chen-Wei","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Simon","family":"Hudon","sequence":"additional","affiliation":[]},{"given":"Yang","family":"Liu","sequence":"additional","affiliation":[]},{"given":"Jun","family":"Sun","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,4,6]]},"reference":[{"key":"8_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881","volume-title":"Modeling in Event-B","author":"J-R Abrial","year":"2010","unstructured":"Abrial, J.-R.: Modeling in Event-B. Cambridge University Press, Cambridge (2010)"},{"key":"8_CR2","volume-title":"Parallel Program Design\u2014a Foundation","author":"KM Chandy","year":"1989","unstructured":"Chandy, K.M., Misra, J.: Parallel Program Design\u2014a Foundation. Addison-Wesley, Reading (1989)"},{"key":"8_CR3","series-title":"LNCS","first-page":"496","volume-title":"CAV 2004","author":"L de Moura","year":"2004","unstructured":"de Moura, L., Owre, S., Ruess, H., Rushby, J., Shankar, N., Sorea, M., Tiwari, A.: SAL 2. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol. 3114, pp. 496\u2013500. Springer, Heidelberg (2004)"},{"key":"8_CR4","series-title":"LNCS","first-page":"343","volume-title":"ISoLA 2010, Part II","author":"E Jee","year":"2010","unstructured":"Jee, E., Lee, I., Sokolsky, O.: Assurance cases in model-driven development of the pacemaker software. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010, Part II. LNCS, vol. 6416, pp. 343\u2013356. Springer, Heidelberg (2010)"},{"issue":"1\u20132","key":"8_CR5","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. Transf. 1(1\u20132), 134\u2013152 (1997)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"issue":"1\u20132","key":"8_CR6","first-page":"75","volume":"70","author":"M Lawford","year":"2006","unstructured":"Lawford, M., Pantelic, V., Zhang, H.: Towards integrated verification of timed transition models. Fund. Inform. 70(1\u20132), 75\u2013110 (2006)","journal-title":"Fund. Inform."},{"issue":"1","key":"8_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/295558.295560","volume":"8","author":"JS Ostroff","year":"1999","unstructured":"Ostroff, J.S.: Composition and refinement of discrete real-time systems. ACM Trans. Softw. Eng. Methodol. 8(1), 1\u201348 (1999)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"8_CR8","unstructured":"Ostroff, J.S., Wang, C.-W., Hudon, S.: TTM\/PAT: a tool for modelling and verifying timed transition models. Technical Report CSE-2013-05, York University (2013)"},{"issue":"1","key":"8_CR9","doi-asserted-by":"publisher","first-page":"3:1","DOI":"10.1145\/2430536.2430537","volume":"22","author":"J Sun","year":"2013","unstructured":"Sun, J., Liu, Y., Dong, J.S., Liu, Y., Shi, L., Andr\u00e9, \u00c9.: Modeling and verifying hierarchical real-time systems using stateful timed CSP. ACM Trans. Softw. Eng. Methodol. 22(1), 3:1\u20133:29 (2013)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"8_CR10","series-title":"LNCS","first-page":"709","volume-title":"CAV 2009","author":"J Sun","year":"2009","unstructured":"Sun, J., Liu, Y., Dong, J.S., Pang, J.: PAT: towards flexible verification under fairness. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol. 5643, pp. 709\u2013714. Springer, Heidelberg (2009)"},{"key":"8_CR11","series-title":"LNCS","first-page":"1","volume-title":"TACAS 2001","author":"MY Vardi","year":"2001","unstructured":"Vardi, M.Y.: Branching vs. linear time: final showdown. In: Margaria, T., Yi, W. (eds.) TACAS 2001. LNCS, vol. 2031, pp. 1\u201322. Springer, Heidelberg (2001)"}],"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_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,19]],"date-time":"2023-01-19T19:54:40Z","timestamp":1674158080000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-05416-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319054155","9783319054162"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-05416-2_8","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"}}]}}