{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T06:53:52Z","timestamp":1770965632763,"version":"3.50.1"},"reference-count":68,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2015,7,7]],"date-time":"2015-07-07T00:00:00Z","timestamp":1436227200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2017,5]]},"DOI":"10.1007\/s10270-015-0481-1","type":"journal-article","created":{"date-parts":[[2015,7,6]],"date-time":"2015-07-06T04:04:39Z","timestamp":1436155479000},"page":"587-624","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":17,"title":["Contract-based modeling and verification of timed safety requirements within SysML"],"prefix":"10.1007","volume":"16","author":[{"given":"Iulia","family":"Dragomir","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Iulian","family":"Ober","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Percebois","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,7,7]]},"reference":[{"issue":"1","key":"481_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(93)90151-I","volume":"114","author":"M Abadi","year":"1993","unstructured":"Abadi, M., Plotkin, G.D.: A logical view of composition. Theor. Comput. Sci. 114(1), 3\u201330 (1993)","journal-title":"Theor. Comput. Sci."},{"key":"481_CR2","doi-asserted-by":"publisher","unstructured":"Aboussoror, E., Ober, I., Ober, I.: Seeing errors: model driven simulation trace visualization. In: France, R., Kazmeier, J., Breu, R., Atkinson, C. (eds.) Model Driven Engineering Languages and Systems. Lecture Notes in Computer Science, vol. 7590, pp. 480\u2013496. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-33666-9_31"},{"issue":"2","key":"481_CR3","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183\u2013235 (1994)","journal-title":"Theor. Comput. Sci."},{"key":"481_CR4","unstructured":"Andr\u00e9, P., Gilles, A., Messabihi, M.: V\u00e9rification de contrats logiciels \u00e0 l\u2019aide de transformations de mod\u00e8les. In: 7\u00e8mes journ\u00e9es sur l\u2019Ing\u00e9nierie Dirig\u00e9e par les Mod\u00e8les (IDM) (2011)"},{"key":"481_CR5","doi-asserted-by":"publisher","unstructured":"Arnold, A., Boyer, B., Legay, A.: Contracts and behavioral patterns for SoS: the EU IP DANSE approach. In: Larsen, K.G., Legay, A., Nyman, U. (eds.) AiSoS, EPTCS, vol. 133, pp. 47\u201366 (2013)","DOI":"10.4204\/EPTCS.133.6"},{"key":"481_CR6","doi-asserted-by":"publisher","unstructured":"Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time components in BIP. In: SEFM\u201906, pp. 3\u201312 (2006)","DOI":"10.1109\/SEFM.2006.27"},{"key":"481_CR7","doi-asserted-by":"publisher","unstructured":"Bauer, S.S., David, A., Hennicker, R., Larsen, K.G., Legay, A., Nyman, U., Wasowski, A.: Moving from specifications to contracts in component-based design. In: de Lara, J., Zisman, A. (eds.) FASE, Lecture Notes in Computer Science, vol. 7212, pp. 43\u201358. Springer (2012)","DOI":"10.1007\/978-3-642-28872-2_3"},{"key":"481_CR8","doi-asserted-by":"publisher","unstructured":"Bauer, S.S., Hennicker, R., Legay, A.: Component interfaces with contracts on ports. In: Pasareanu, C.S., Sala\u00fcn, G. (eds.) Formal Aspects of Component Software, Lecture Notes in Computer Science, vol. 7683, pp. 19\u201335. Springer, Berlin (2013)","DOI":"10.1007\/978-3-642-35861-6_2"},{"key":"481_CR9","doi-asserted-by":"publisher","unstructured":"Benvenuti, L., Ferrari, A., Mangeruca, L., Mazzi, E., Passerone, R., Sofronis, C.: A contract-based formalism for the specification of heterogeneous systems. In: FDL\u201908. Forum on, pp. 142\u2013147. IEEE (2008)","DOI":"10.1109\/FDL.2008.4641436"},{"issue":"7","key":"481_CR10","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/2.774917","volume":"32","author":"A Beugnard","year":"1999","unstructured":"Beugnard, A., J\u00e9z\u00e9quel, J.M., Plouzeau, N., Watkins, D.: Making components contract aware. Computer 32(7), 38\u201345 (1999)","journal-title":"Computer"},{"key":"481_CR11","unstructured":"Bobaru, M.G., Pasareanu, C.S., Giannakopoulou, D.: Automated assume-guarantee reasoning by abstraction refinement. In: Gupta, A., Malik, S. (eds.) CAV, Lecture Notes in Computer Science, vol. 5123, pp. 135\u2013148. Springer (2008)"},{"issue":"1","key":"481_CR12","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1006\/inco.2000.2999","volume":"163","author":"S Bornot","year":"2000","unstructured":"Bornot, S., Sifakis, J.: An algebraic framework for urgency. Inf. Comput. 163(1), 172\u2013202 (2000)","journal-title":"Inf. Comput."},{"key":"481_CR13","doi-asserted-by":"crossref","unstructured":"Bourke, T., David, A., Larsen, K.G., Legay, A., Lime, D., Nyman, U., Wasowski, A.: New results on timed specifications. In: Mossakowski, T., Kreowski, H.J. (eds.) WADT, Lecture Notes in Computer Science, vol. 7137, pp. 175\u2013192. Springer (2010)","DOI":"10.1007\/978-3-642-28412-0_12"},{"key":"481_CR14","doi-asserted-by":"publisher","unstructured":"Bozga, M., Graf, S., Ober, I., Ober, I., Sifakis, J.: The IF toolset. In: Bernardo, M., Corradini, F. (eds.) Formal Methods for the Design of Real-Time Systems. Lecture Notes in Computer Science, vol. 3185, pp. 237\u2013267. Springer, Berlin (2004)","DOI":"10.1007\/978-3-540-30080-9_8"},{"key":"481_CR15","doi-asserted-by":"publisher","unstructured":"Chen, T., Chilton, C., Jonsson, B., Kwiatkowska, M.Z.: A Compositional specification theory for component behaviours. In: Seidl, H. (ed.) ESOP, Lecture Notes in Computer Science, vol. 7211, pp. 148\u2013168. Springer (2012)","DOI":"10.1007\/978-3-642-28869-2_8"},{"issue":"1","key":"481_CR16","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1145\/295558.295570","volume":"8","author":"SC Cheung","year":"1999","unstructured":"Cheung, S.C., Kramer, J.: Checking safety properties using compositional reachability analysis. ACM Trans. Softw. Eng. Methodol. 8(1), 49\u201378 (1999)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"481_CR17","doi-asserted-by":"publisher","unstructured":"Chilton, C., Jonsson, B., Kwiatkowska, M.Z.: Assume-guarantee reasoning for safe component behaviours. In: Pasareanu, C.S., Sala\u00fcn, G. (eds.) Formal Aspects of Component Software, Lecture Notes in Computer Science, vol. 7683, pp. 92\u2013109. Springer, Berlin (2013)","DOI":"10.1007\/978-3-642-35861-6_6"},{"key":"481_CR18","doi-asserted-by":"publisher","unstructured":"Chilton, C., Kwiatkowska, M.Z., Wang, X.: Revisiting Timed specification theories: a linear-time perspective. In: Jurdzinski, M., Nickovic, D. (eds.) FORMATS, Lecture Notes in Computer Science, vol. 7595, pp. 75\u201390. Springer (2012)","DOI":"10.1007\/978-3-642-33365-1_7"},{"key":"481_CR19","doi-asserted-by":"publisher","unstructured":"Cimatti, A., Dorigatti, M., Tonetta, S.: OCRA: a tool for checking the refinement of temporal contracts. In: Denney, E., Bultan, T., Zeller, A. (eds.) 2013 28th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2013, Silicon Valley, CA, USA, November 11\u201315, 2013, pp. 702\u2013705. IEEE (2013)","DOI":"10.1109\/ASE.2013.6693137"},{"key":"481_CR20","doi-asserted-by":"publisher","unstructured":"Cimatti, A., Tonetta, S.: A property-based proof system for contract-based design. In: Cortellessa, V., Muccini, H., Demir\u00f6rs, O. (eds.) 38th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2012, Cesme, Izmir, Turkey, September 5\u20138, 2012, pp. 21\u201328. IEEE Computer Society (2012)","DOI":"10.1109\/SEAA.2012.68"},{"key":"481_CR21","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/j.scico.2014.06.011","volume":"97","author":"A Cimatti","year":"2015","unstructured":"Cimatti, A., Tonetta, S.: Contracts-refinement proof system for component-based embedded systems. Sci. Comput. Progr. 97, 333\u2013348 (2015)","journal-title":"Sci. Comput. Progr."},{"key":"481_CR22","doi-asserted-by":"publisher","unstructured":"Clarke, E., Grumberg, O., Jha, S., Lu, Y., Veith, H.: Counterexample-guided abstraction refinement. In: Emerson, E., Sistla, A. (eds.) Computer Aided Verification. Lecture Notes in Computer Science, vol. 1855, pp. 154\u2013169. Springer, Berlin (2000)","DOI":"10.1007\/10722167_15"},{"key":"481_CR23","doi-asserted-by":"publisher","unstructured":"Clarke, E.M., Long, D.E., McMillan, K.L.: Compositional model checking. In: LICS, pp. 353\u2013362. IEEE Computer Society (1989)","DOI":"10.1109\/LICS.1989.39190"},{"key":"481_CR24","doi-asserted-by":"publisher","unstructured":"Combemale, B., Gonnord, L., Rusu, V.: A generic tool for tracing executions back to a DSML\u2019s operational semantics. In: France, R.B., K\u00fcster, J.M., Bordbar, B., Paige R.F. (eds.) ECMFA, Lecture Notes in Computer Science, vol. 6698, pp. 35\u201351. Springer (2011)","DOI":"10.1007\/978-3-642-21470-7_4"},{"key":"481_CR25","unstructured":"Conquet, E., Dormoy, F.X., Dragomir, I., Graf, S., Lesens, D., Nienaltowski, P., Ober, I.: Formal model driven engineering for space onboard software. In: Proceedings of Embedded Real Time Software and Systems (ERTS2), Toulouse. SAE (2012)"},{"key":"481_CR26","doi-asserted-by":"publisher","unstructured":"Damm, W., Hungar, H., Josko, B., Peikenkamp, T., Stierand, I.: Using contract-based component specifications for virtual integration testing and architecture design. In: Design, Automation Test in Europe Conference Exhibition (DATE), 2011, pp. 1\u20136 (2011). doi: 10.1109\/DATE.2011.5763167","DOI":"10.1109\/DATE.2011.5763167"},{"issue":"6","key":"481_CR27","doi-asserted-by":"publisher","first-page":"703","DOI":"10.1007\/s10009-012-0237-y","volume":"14","author":"A David","year":"2012","unstructured":"David, A., Larsen, K.G., Legay, A., M\u00f8ller, M.H., Nyman, U., Ravn, A.P., Skou, A., Wasowski, A.: Compositional verification of real-time systems using ECDAR. STTT 14(6), 703\u2013720 (2012)","journal-title":"STTT"},{"key":"481_CR28","doi-asserted-by":"crossref","unstructured":"David, A., Larsen, K.G., Legay, A., Nyman, U., Wasowski, A.: Methodologies for specification of real-time systems using timed I\/O automata. In: de Boer, F.S., Bonsangue, M.M., Hallerstede, S., Leuschel, M. (eds.) FMCO, Lecture Notes in Computer Science, vol. 6286, pp. 290\u2013310. Springer (2009)","DOI":"10.1007\/978-3-642-17071-3_15"},{"key":"481_CR29","doi-asserted-by":"publisher","unstructured":"David, A., Larsen, K.G., Legay, A., Nyman, U., Wasowski, A.: ECDAR: an environment for compositional Design and analysis of real time systems. In: Proceedings of the 8th International Conference on Automated Technology for Verification and Analysis. ATVA\u201910, pp. 365\u2013370. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-15643-4_29"},{"key":"481_CR30","doi-asserted-by":"crossref","unstructured":"David, A., Larsen, K.G., Legay, A., Nyman, U., Wasowski, A.: Timed I\/O automata: a complete specification theory for real-time systems. In: Johansson, K.H., Yi, W. (eds.) HSCC, pp. 91\u2013100. ACM (2010)","DOI":"10.1145\/1755952.1755967"},{"key":"481_CR31","doi-asserted-by":"publisher","unstructured":"de Alfaro, L., Henzinger, T.: Interface automata. In: Proceedings of the Ninth Annual Symposium on Foundations of Software Engineering (FSE), ACM, pp. 109\u2013120. Press (2001)","DOI":"10.1145\/503209.503226"},{"key":"481_CR32","doi-asserted-by":"publisher","unstructured":"de Alfaro, L., Henzinger, T.: Interface theories for component-based design. In: Henzinger, T., Kirsch, C. (eds.) Embedded Software. Lecture Notes in Computer Science, vol. 2211, pp. 148\u2013165. Springer, Berlin (2001)","DOI":"10.1007\/3-540-45449-7_11"},{"key":"481_CR33","doi-asserted-by":"publisher","unstructured":"de Alfaro, L., Henzinger, T., Stoelinga, M.: Timed interfaces. In: Sangiovanni-Vincentelli, A., Sifakis, J. (eds.) Embedded Software. Lecture Notes in Computer Science, vol. 2491, pp. 108\u2013122. Springer, Berlin (2002)","DOI":"10.1007\/3-540-45828-X_9"},{"key":"481_CR34","doi-asserted-by":"crossref","unstructured":"Dragomir, I., Ober, I., Lesens, D.: A case study in formal system engineering with SysML. In: Engineering of Complex Computer Systems (ICECCS), 2012 17th International Conference on, pp. 189\u2013198 (2012)","DOI":"10.1109\/ICECCS20050.2012.6299214"},{"key":"481_CR35","unstructured":"Dragomir, I., Ober, I., Percebois, C.: Integrating Verifiable Assume\/Guarantee Contracts in UML\/SysML. Tech. Rep., IRIT (2013). http:\/\/www.irit.fr\/Iulian.Ober\/docs\/TR-Syntax.pdf"},{"key":"481_CR36","unstructured":"Dragomir, I., Ober, I., Percebois, C.: Safety Contracts for Timed Reactive Components in SysML. Tech. Rep., IRIT (2013). http:\/\/www.irit.fr\/Iulian.Ober\/docs\/TR-Contracts.pdf"},{"key":"481_CR37","unstructured":"Gacek, A., Katis, A., Whalen, M.W., Cofer, D.: Hierarchical Circular Compositional Reasoning. Tech. Rep. 2014-1, University of Minnesota Software Engineering Center, 200 Union St., Minneapolis, MN 55455 (2014)"},{"key":"481_CR38","doi-asserted-by":"publisher","unstructured":"Giannakopoulou, D., Pasareanu, C.S., Barringer, H.: Assumption generation for software component verification. In: Automated Software Engineering, 2002. Proceedings. ASE 2002. 17th IEEE International Conference on, pp. 3\u201312 (2002)","DOI":"10.1109\/ASE.2002.1114984"},{"key":"481_CR39","doi-asserted-by":"publisher","unstructured":"Graf, S., Quinton, S.: Contracts for BIP: hierarchical interaction models for compositional verification. In: Derrick, J., Vain, J. (eds.) FORTE, Lecture Notes in Computer Science, vol. 4574, pp. 1\u201318. Springer (2007)","DOI":"10.1007\/978-3-540-73196-2_1"},{"key":"481_CR40","doi-asserted-by":"publisher","unstructured":"Grumberg, O., Long, D.E.: Model checking and modular verification. In: CONCUR, LNCS, vol. 527, pp. 250\u2013265. Springer (1991)","DOI":"10.1007\/3-540-54430-5_93"},{"key":"481_CR41","doi-asserted-by":"crossref","unstructured":"Hafaiedh, I.B., Graf, S., Quinton, S.: Reasoning about safety and progress using contracts. In: Dong, J.S., Zhu H. (eds.) ICFEM, Lecture Notes in Computer Science, vol. 6447, pp. 436\u2013451. Springer (2010)","DOI":"10.1007\/978-3-642-16901-4_29"},{"key":"481_CR42","volume-title":"The Theory of Timed I\/O Automata","author":"DK Kaynar","year":"2010","unstructured":"Kaynar, D.K., Lynch, N., Segala, R., Vaandrager, F.: The Theory of Timed I\/O Automata, 2nd edn. Morgan and Claypool Publishers, San Rafael (2010)","edition":"2"},{"key":"481_CR43","doi-asserted-by":"publisher","unstructured":"Knapp, A., Merz, S., Rauh, C.: Model checking timed UML state machines and collaborations. In: Damm, W., Olderog, E.R. (eds.) Formal Techniques in Real-Time and Fault-Tolerant Systems. Lecture Notes in Computer Science, vol. 2469, pp. 395\u2013414. Springer, Berlin (2002)","DOI":"10.1007\/3-540-45739-9_23"},{"key":"481_CR44","doi-asserted-by":"publisher","unstructured":"Larsen, K., Nyman, U., Wasowski, A.: Interface input\/output automata. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006: Formal Methods. Lecture Notes in Computer Science, vol. 4085, pp. 82\u201397. Springer, Berlin (2006)","DOI":"10.1007\/11813040_7"},{"key":"481_CR45","doi-asserted-by":"publisher","unstructured":"Messabihi, M., Andr\u00e9, P., Attiogb\u00e9, C.: Multilevel contracts for trusted components. In: International Workshop on Component and Service Interoperability, EPTCS, vol. 37, pp. 71\u201385 (2010)","DOI":"10.4204\/EPTCS.37.6"},{"key":"481_CR46","doi-asserted-by":"publisher","unstructured":"Mikk, E., Lakhnechi, Y., Siegel, M.: Hierarchical automata as model for statecharts. In: Shyamasundar, R., Ueda, K. (eds.) Advances in Computing Science\u2014ASIAN\u201997. Lecture Notes in Computer Science, vol. 1345, pp. 181\u2013196. Springer, Berlin (1997)","DOI":"10.1007\/3-540-63875-X_52"},{"issue":"3","key":"481_CR47","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1145\/2658982.2527272","volume":"33","author":"A Murugesan","year":"2013","unstructured":"Murugesan, A., Whalen, M.W., Rayadurgam, S., Heimdahl, M.P.: Compositional verification of a medical device system. Ada Lett. 33(3), 51\u201364 (2013)","journal-title":"Ada Lett."},{"key":"481_CR48","doi-asserted-by":"publisher","unstructured":"Ober, I., Dragomir, I.: OMEGA2: a new version of the profile and the tools. In: Engineering of Complex Computer Systems (ICECCS), 2010 15th IEEE International Conference on, pp. 373\u2013378. IEEE (2010)","DOI":"10.1109\/ICECCS.2010.41"},{"key":"481_CR49","doi-asserted-by":"publisher","unstructured":"Ober, I., Dragomir, I.: Unambiguous UML composite structures: the OMEGA2 experience. In: Cern\u00e1, I., Gyim\u00f3thy, T., Hromkovic, J., Jeffery, K.G., Kr\u00e1lovic, R., Vukolic, M., Wolf, S. (eds.) SOFSEM, Lecture Notes in Computer Science, vol. 6543, pp. 418\u2013430. Springer (2011)","DOI":"10.1007\/978-3-642-18381-2_35"},{"issue":"2","key":"481_CR50","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/s10009-005-0205-x","volume":"8","author":"I Ober","year":"2006","unstructured":"Ober, I., Graf, S., Ober, I.: Validating timed UML models by simulation and verification. STTT 8(2), 128\u2013145 (2006)","journal-title":"STTT"},{"issue":"4","key":"481_CR51","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/s11334-011-0163-2","volume":"7","author":"I Ober","year":"2011","unstructured":"Ober, I., Ober, I., Dragomir, I., Aboussoror, E.: UML\/SysML semantic tunings. Innov. Syst. Softw. Eng. 7(4), 257\u2013264 (2011)","journal-title":"Innov. Syst. Softw. Eng."},{"key":"481_CR52","unstructured":"Object Management Group: Systems Modelling Language (SysML) v1.1 (2008). http:\/\/www.omg.org\/spec\/SysML\/1.1\/"},{"key":"481_CR53","unstructured":"Object Management Group: Unified Modelling Language (UML) v2.2 (2009). http:\/\/www.omg.org\/UML\/2.2\/"},{"key":"481_CR54","unstructured":"Object Management Group: Object Constraint Language (OCL) v2.2 (2010). http:\/\/www.omg.org\/spec\/OCL\/2.2\/"},{"key":"481_CR55","unstructured":"Object Management Group: UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems v1.1 (2011). http:\/\/www.omg.org\/spec\/MARTE\/"},{"key":"481_CR56","unstructured":"Object Management Group: Semantics of a Foundational Subset For Executable UML Models (fUML) v1.1 (2013). http:\/\/www.omg.org\/spec\/FUML\/1.1\/"},{"key":"481_CR57","doi-asserted-by":"publisher","unstructured":"Ouaknine, J., Worrell, J.: On the language inclusion problem for timed automata: closing a decidability gap. In: Logic in Computer Science, 2004. Proceedings of the 19th Annual IEEE Symposium on, pp. 54\u201363 (2004). doi: 10.1109\/LICS.2004.1319600","DOI":"10.1109\/LICS.2004.1319600"},{"key":"481_CR58","unstructured":"Parnas, D., Weiss, D.: Active design reviews: principles and practices. In: ICSE\u201985. IEEE Computer Society (1985)"},{"key":"481_CR59","unstructured":"Payne, R., Fitzgerald, J.: Contract-Based Interface Specification Language for Functional and Non-Functional Properties. Tech. Rep., Newcastle University (2011). http:\/\/www.ncl.ac.uk\/computing\/research\/publication\/176971"},{"key":"481_CR60","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3540-6","volume-title":"Software Reliability Methods. Texts in Computer Science","author":"D Peled","year":"2001","unstructured":"Peled, D.: Software Reliability Methods. Texts in Computer Science. Springer, Berlin (2001)"},{"key":"481_CR61","unstructured":"Quinton, S.: Design, v\u00e9rification et impl\u00e9mentation de syst\u00e8mes \u00e0 composants. Ph.D. thesis, Universit\u00e9 de Grenoble (2011)"},{"key":"481_CR62","doi-asserted-by":"publisher","unstructured":"Quinton, S., Graf, S.: Contract-based verification of hierarchical systems of components. In: SEFM\u201908, pp. 377\u2013381 (2008)","DOI":"10.1109\/SEFM.2008.28"},{"key":"481_CR63","unstructured":"SAE: Architecture Analysis and Design Language (AADL). Document No. AS5506\/1 (2004). http:\/\/www.sae.org\/technical\/standards\/AS5506\/1"},{"key":"481_CR64","unstructured":"SPEEDS: D 2.5.4: Contract Specification Language (2008). http:\/\/speeds.eu.com\/downloads\/D_2_5_4_RE_Contract_Specification_Language.pdf"},{"key":"481_CR65","doi-asserted-by":"publisher","unstructured":"Wang, F.: Symbolic simulation-checking of dense-time automata. In: Raskin, J.F., Thiagarajan, P. (eds.) Formal Modeling and Analysis of Timed Systems. Lecture Notes in Computer Science, vol. 4763, pp. 352\u2013368. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-75454-1_25"},{"key":"481_CR66","doi-asserted-by":"publisher","unstructured":"Wang, T., Sun, J., Liu, Y., Wang, X., Li, S.: Are timed automata bad for a specification language? Language inclusion checking for timed automata. In: \u00c1brah\u00e1m, E., Havelund, K. (eds.) Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science, vol. 8413, pp. 310\u2013325. Springer, Berlin (2014)","DOI":"10.1007\/978-3-642-54862-8_21"},{"key":"481_CR67","doi-asserted-by":"publisher","unstructured":"Weis, T., Becker, C., Geihs, K., Plouzeau, N.: A UML meta-model for contract aware components. In: 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML) 2001, pp. 442\u2013456. Springer (2001)","DOI":"10.1007\/3-540-45441-1_32"},{"issue":"2","key":"481_CR68","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1109\/MS.2012.173","volume":"30","author":"MW Whalen","year":"2013","unstructured":"Whalen, M.W., Gacek, A., Cofer, D., Murugesan, A., Heimdahl, M.P., Rayadurgam, S.: Your \u201cwhat\u201d is my \u201chow\u201d: iteration and hierarchy in system design. IEEE Softw. 30(2), 54\u201360 (2013)","journal-title":"IEEE Softw."}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-015-0481-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-015-0481-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-015-0481-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-015-0481-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,4]],"date-time":"2020-09-04T17:09:10Z","timestamp":1599239350000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-015-0481-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7,7]]},"references-count":68,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2017,5]]}},"alternative-id":["481"],"URL":"https:\/\/doi.org\/10.1007\/s10270-015-0481-1","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,7,7]]}}}