{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T09:33:47Z","timestamp":1773653627328,"version":"3.50.1"},"reference-count":85,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2014,1,29]],"date-time":"2014-01-29T00:00:00Z","timestamp":1390953600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Requirements Eng"],"published-print":{"date-parts":[[2015,6]]},"DOI":"10.1007\/s00766-013-0200-9","type":"journal-article","created":{"date-parts":[[2014,1,27]],"date-time":"2014-01-27T19:42:41Z","timestamp":1390851761000},"page":"181-211","source":"Crossref","is-referenced-by-count":5,"title":["Early modeling and validation of timed system requirements using Timed Use Case Maps"],"prefix":"10.1007","volume":"20","author":[{"given":"Jameleddine","family":"Hassine","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,1,29]]},"reference":[{"issue":"2","key":"200_CR1","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur R, Dill DL (1994) A theory of timed automata. Theor Comput Sci 126(2):183\u2013235. doi: 10.1016\/0304-3975(94)90010-8","journal-title":"Theor Comput Sci"},{"key":"200_CR2","unstructured":"Amyot D (1994) Formalization of timethreads using LOTOS. Master\u2019s thesis, University of Ottawa, Ottawa, Ontario, Canada"},{"key":"200_CR3","unstructured":"Amyot D, Andrade R (1999) Description of wireless intelligent network services with Use Case Maps. In: SBRC\u201999: 17th Brazilian Symposium on Computer Networks, Salvador, Brazil"},{"key":"200_CR4","unstructured":"Amyot D, Bordeleau F, Buhr RJA, Logrippo L (1995) Formal support for design techniques: a timethreads-LOTOS approach. In: FORTE, pp 57\u201372"},{"key":"200_CR5","volume-title":"ObjecTime workshop on research in OO real-time modeling.","author":"D Amyot","year":"1998","unstructured":"Amyot D, Hart N, Logrippo L, Forhan P (1998) Formal specification and validation using a scenario-based approach: The GPRS group-call example. In: Selic B (eds) ObjecTime workshop on research in OO real-time modeling., Ottawa, Canada"},{"issue":"5","key":"200_CR6","doi-asserted-by":"crossref","first-page":"747","DOI":"10.4304\/jsw.6.5.747-768","volume":"6","author":"D Amyot","year":"2011","unstructured":"Amyot D, Mussbacher G (2011) User Requirements Notation: the first ten years, the next ten years (invited paper). JSW 6(5):747\u2013768","journal-title":"JSW"},{"key":"200_CR7","doi-asserted-by":"crossref","unstructured":"Amyot D, Roy JF, Weiss M (2005) Ucm-driven testing of web applications. In: Proceedings of the 12th international conference on Model Driven, SDL\u201905. Springer, Berlin, pp 247\u2013264","DOI":"10.1007\/11506843_18"},{"key":"200_CR8","unstructured":"Andrade R (2000) Applying Use Case Maps and formal methods to the development of wireless mobile ATM networks"},{"issue":"7","key":"200_CR9","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1109\/TSE.2004.34","volume":"30","author":"L Apvrille","year":"2004","unstructured":"Apvrille L, Courtiat JP, Lohr C, de Saqui-Sannes P (2004) TURTLE: a real-time UML profile supported by a formal validation toolkit. IEEE Trans Softw Eng 30(7):473\u2013487. doi: 10.1109\/TSE.2004.34","journal-title":"IEEE Trans Softw Eng"},{"key":"200_CR10","unstructured":"AsmL (2009) Microsoft research: the abstract state machine language. http:\/\/research.microsoft.com\/en-us\/projects\/asml\/ . Last accessed, Dec 2013"},{"key":"200_CR11","doi-asserted-by":"crossref","unstructured":"Ball T (1999) The concept of dynamic analysis. In: Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering, ESEC\/FSE-7. Springer, London, pp 216\u2013234","DOI":"10.1007\/3-540-48166-4_14"},{"issue":"3","key":"200_CR12","first-page":"19","volume":"9","author":"A Blass","year":"2008","unstructured":"Blass A, Gurevich Y (2008) Abstract state machines capture parallel algorithms: correction and extension. ACM Trans Comput Logic 9(3):19\u201311932. doi: 10.1145\/1352582.1352587","journal-title":"ACM Trans Comput Logic"},{"key":"200_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract state machines: a method for high-level system design and analysis","author":"E B\u00f6rger","year":"2003","unstructured":"B\u00f6rger E, Stark RF (2003) Abstract state machines: a method for high-level system design and analysis. Springer-Verlag New York, Inc., Secaucus"},{"issue":"1","key":"200_CR14","doi-asserted-by":"crossref","first-page":"172","DOI":"10.1006\/inco.2000.2999","volume":"163","author":"S Bornot","year":"2000","unstructured":"Bornot S, Sifakis J (2000) An algebraic framework for urgency. Inf Comput 163(1):172\u2013202. doi: 10.1006\/inco.2000.2999","journal-title":"Inf Comput"},{"key":"200_CR15","doi-asserted-by":"crossref","unstructured":"Bornot S, Sifakis J, Tripakis S (1998) Modeling urgency in timed systems. In: Revised lectures from the international symposium on compositionality: the significant difference, COMPOS\u201997. Springer, London, UK, pp 103\u2013129","DOI":"10.1007\/3-540-49213-5_5"},{"key":"200_CR16","volume-title":"Concurrency theory\u2014calculi and automata for modelling untimed and timed concurrent systems","author":"H Bowman","year":"2006","unstructured":"Bowman H, Gomez R (2006) Concurrency theory\u2014calculi and automata for modelling untimed and timed concurrent systems. Springer, Berlin"},{"issue":"12","key":"200_CR17","doi-asserted-by":"crossref","first-page":"1028","DOI":"10.1109\/TSE.2005.131","volume":"31","author":"VA Braberman","year":"2005","unstructured":"Braberman VA, Kicillof N, Olivero A (2005) A scenario-matching approach to the description and model checking of real-time properties. IEEE Trans Softw Eng 31(12):1028\u20131041","journal-title":"IEEE Trans Softw Eng"},{"issue":"3","key":"200_CR18","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/S0164-1212(02)00079-1","volume":"66","author":"H. Bruin de","year":"2003","unstructured":"de Bruin H, van Vliet H (2003) Quality-driven software architecture composition. J Syst Softw 66(3):269\u2013284. doi: 10.1016\/S0164-1212(02)00079-1","journal-title":"J Syst Softw"},{"key":"200_CR19","doi-asserted-by":"crossref","unstructured":"Buhr RJA, Elammari M, Gray T, Mankovski S (1998) Applying Use Case Maps to multi-agent systems: a feature interaction example. In: HICSS (6), pp 171\u2013179","DOI":"10.1109\/HICSS.1998.654771"},{"issue":"1-2","key":"200_CR20","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0304-3975(98)00008-5","volume":"216","author":"A Cerone","year":"1999","unstructured":"Cerone A, Maggiolio-Schettini A (1999) Time-based expressivity of timed petri nets for system specification. Theor Comput Sci 216(1\u20132):1\u201353. doi: 10.1016\/S0304-3975(98)00008-5","journal-title":"Theor Comput Sci"},{"issue":"5","key":"200_CR21","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/0020-0190(91)90122-X","volume":"40","author":"Z Chaochen","year":"1991","unstructured":"Chaochen Z, Hoare CAR, Ravn AP (1991) A calculus of durations. Inf Process Lett 40(5):269\u2013276","journal-title":"Inf Process Lett"},{"issue":"1-2","key":"200_CR22","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1006\/inco.1999.2821","volume":"156","author":"F Corradini","year":"2000","unstructured":"Corradini F (2000) Absolute versus relative time in process algebras. Inf Comput 156(1-2):122\u2013172. doi: 10.1006\/inco.1999.2821","journal-title":"Inf Comput"},{"issue":"1-2","key":"200_CR23","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/S0304-3975(00)00375-3","volume":"269","author":"F Corradini","year":"2001","unstructured":"Corradini F, Ferrari GL, Pistore M (2001) On the semantics of durational actions. Theor Comput Sci 269(1-2):47\u201382","journal-title":"Theor Comput Sci"},{"key":"200_CR24","doi-asserted-by":"crossref","unstructured":"Dietz C (1996) Graphical formalization of real-time requirements. In: FTRTFT \u201996: Proceedings of the 4th International symposium on formal techniques in real-time and fault-tolerant systems. Springer, London, pp 366\u2013384","DOI":"10.1007\/3-540-61648-9_51"},{"key":"200_CR25","doi-asserted-by":"crossref","unstructured":"Dwyer MB, Avrunin GS, Corbett JC (1999) Patterns in property specifications for finite-state verification. In: Proceedings of the 21st international conference on Software engineering, ICSE\u201999. IEEE Comput Soc Press, Los Alamitos, pp 411\u2013420","DOI":"10.1145\/302405.302672"},{"key":"200_CR26","unstructured":"Eshuis H (2002) Semantics and verification of UML activity diagrams for workflow modelling. Ph.D. thesis, University of Twente, Enschede, The Netherlands"},{"key":"200_CR27","doi-asserted-by":"crossref","unstructured":"Eshuis R, Wieringa R (2001) A formal semantics for UML activity diagrams\u2014formalising workflow models. Technical report, University of Twente, Department of Computer Science, University of Twente","DOI":"10.1007\/3-540-45314-8_7"},{"key":"200_CR28","doi-asserted-by":"crossref","unstructured":"Farzan A, Madhusudan P (2008) Monitoring atomicity in concurrent programs. In: Proceedings of the 20th international conference on computer aided verification, CAV \u201908. Springer, Berlin, pp 52\u201365 doi: 10.1007\/978-3-540-70545-1_8","DOI":"10.1007\/978-3-540-70545-1_8"},{"key":"200_CR29","doi-asserted-by":"crossref","unstructured":"Fenner W (1997) RFC 2236: Internet Group Management Protocol, version 2. URL ftp:\/\/ftp.internic.net\/rfc\/rfc2236.txt","DOI":"10.17487\/rfc2236"},{"key":"200_CR30","unstructured":"Flake S (2003) Temporal OCL extensions for specification of real-time constraints. In: Workshop specification and validation of UML models for Real Time and Embedded Systems (SVERTS\u201903) at UML\u201903. San Francisco"},{"key":"200_CR31","doi-asserted-by":"crossref","unstructured":"Flake S, Mueller W (2002) A UML profile for real-time constraints with the OCL. In: UML \u201902: Proceedings of the 5th International Conference on the unified modeling language. Springer, London, pp 179\u2013195","DOI":"10.1007\/3-540-45800-X_16"},{"key":"200_CR32","unstructured":"Folmer E, van Gurp J, Bosch J (2003) Scenario-based assessment of software architecture usability. In: Proceedings of ICSE 2003 workshop on bridging the gaps between software engineering and human-computer interaction, pp 61\u201368. IFIP"},{"issue":"1","key":"200_CR33","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0304-3975(94)00205-W","volume":"140","author":"R. Gorrieri","year":"1995","unstructured":"Gorrieri R, Roccetti M, Stancampiano E (1995) A theory of processes with durational Actions. Theor Comput Sci 140(1):73\u201394","journal-title":"Theor Comput Sci"},{"key":"200_CR34","unstructured":"Grabowski V, Dietz C, Olderog ER (1998) Semantics for timed message sequence charts via constraint diagrams. In: Lahav Y, Wolisz A, Fischer J, Holz E (eds.) Proceedings of the 1st Workshop of the SDL Forum Society on SDL and MSC, Informatik-Bericht Nr. 104. Humbold-Universitaet zu Berlin\/Germany, pp 251\u2013260 (Juli 1998)"},{"key":"200_CR35","doi-asserted-by":"crossref","unstructured":"Guelfi N, Mammar A (2005) A formal semantics of timed activity diagrams and its promela translation. In: APSEC\u201905: Proceedings of the 12th Asia-Pacific Software Engineering Conference, pp 283\u2013290. IEEE Comput Soc, Washington. doi: 10.1109\/APSEC.2005.7","DOI":"10.1109\/APSEC.2005.7"},{"key":"200_CR36","first-page":"264","volume":"43","author":"Y Gurevich","year":"1991","unstructured":"Gurevich Y (1991) Evolving algebras. A tutorial introduction. Bull Eur Assoc Theor Comput Sci 43:264\u2013284","journal-title":"Bull Eur Assoc Theor Comput Sci"},{"key":"200_CR37","first-page":"9","volume-title":"Evolving algebras 1993: Lipari guide","author":"Y Gurevich","year":"1995","unstructured":"Gurevich Y (1995) Evolving algebras 1993: Lipari guide. Oxford University Press Inc., New York, pp 9\u201336"},{"issue":"1","key":"200_CR38","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1145\/343369.343384","volume":"1","author":"Y Gurevich","year":"2000","unstructured":"Gurevich Y (2000) Sequential abstract-state machines capture sequential algorithms. ACM Trans Comput Logic 1(1):77\u2013111. doi: 10.1145\/343369.343384","journal-title":"ACM Trans Comput Logic"},{"key":"200_CR39","doi-asserted-by":"crossref","unstructured":"Harel D, Marelly R (2002) Playing with time: On the specification and execution of time-enriched lscs. In: MASCOTS \u201902: Proceedings of the 10th IEEE International Symposium on modeling, analysis, and simulation of computer and telecommunications systems (MASCOTS\u201902). IEEE Computer Society, Washington, p 193","DOI":"10.1109\/MASCOT.2002.1167077"},{"key":"200_CR40","unstructured":"Hassine J (2008) Formal semantics and verification of Use Case Maps. Ph.D. thesis, Concordia University, Montreal, Canada"},{"key":"200_CR41","doi-asserted-by":"crossref","unstructured":"Hassine J (2009) Early Schedulability Analysis with Timed Use Case Maps. In: SDL\u201909: Proceedings of the 14th international SDL conference on design for motes and mobiles, pp. 98\u2013114","DOI":"10.1007\/978-3-642-04554-7_7"},{"key":"200_CR42","doi-asserted-by":"crossref","unstructured":"Hassine J (2010) AsmL-based concurrency semantic variations for Timed Use Case Maps. In: Frappier M, Gl\u00e4sser U, Khurshid S, Laleau R, Reeves S (eds) ASM, Lecture Notes in Computer Science, vol 5977, Springer, Berlin, pp 34\u201346","DOI":"10.1007\/978-3-642-11811-1_4"},{"key":"200_CR43","doi-asserted-by":"crossref","unstructured":"Hassine J, Rilling J, Dssouli R (2005) Abstract operational semantics for Use Case Maps. In: Formal techniques for networked and distributed systems\u2014FORTE 2005, 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, Oct 2\u20135, pp 366\u2013380","DOI":"10.1007\/11562436_27"},{"key":"200_CR44","doi-asserted-by":"crossref","unstructured":"Hassine J, Rilling J, Dssouli R (2005) An ASM operational semantics for Use Case Maps. In: RE \u201905: Proceedings of the 13th IEEE International Conference on requirements engineering (RE\u201905), Paris. IEEE Comput Soc, pp 467\u2013468","DOI":"10.1109\/RE.2005.10"},{"key":"200_CR45","doi-asserted-by":"crossref","unstructured":"Hassine J, Rilling J, Dssouli R (2006) Timed Use Case Maps. In: System analysis and modeling: language profiles, 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31\u2013June 2, 2006, revised selected papers, pp 99\u2013114","DOI":"10.1007\/11951148_7"},{"key":"200_CR46","doi-asserted-by":"crossref","unstructured":"Hassine J, Rilling J, Dssouli R (2007) Formal verification of use case maps with real time extensions. In: SDL 2007: design for dependable systems, 13th International SDL Forum, Paris, France, Sept 18\u201321, 2007, Proceedings, pp 225\u2013241","DOI":"10.1007\/978-3-540-74984-4_14"},{"key":"200_CR47","doi-asserted-by":"crossref","unstructured":"Hassine J, Rilling J, Dssouli R (2009) Use Case Maps as a property specification language. Softw Syst Model 8(2):205\u2013220. doi: 10.1007\/s10270-007-0076-6","DOI":"10.1007\/s10270-007-0076-6"},{"key":"200_CR48","doi-asserted-by":"crossref","first-page":"326","DOI":"10.1016\/j.jss.2009.09.014","volume":"83","author":"J Hassine","year":"2010","unstructured":"Hassine J, Rilling J, Dssouli R (2010) An evaluation of timed scenario notations. J Syst Softw 83:326\u2013350. doi: 10.1016\/j.jss.2009.09.014","journal-title":"J Syst Softw"},{"issue":"2","key":"200_CR49","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1006\/inco.1995.1041","volume":"117","author":"M Hennessy","year":"1995","unstructured":"Hennessy M, Regan T (1995) A process algebra for timed systems. Inf Comput 117(2):221\u2013239. doi: 10.1006\/inco.1995.1041","journal-title":"Inf Comput"},{"key":"200_CR50","unstructured":"ISO (1989) Information processing systems, osi: Lotos\u2014a formal description technique based on the temporal ordering of observational behaviour"},{"key":"200_CR51","unstructured":"ITU-T (1996) Recommendation Z.120. Message sequence charts (MSC). Geneva, Switzerland"},{"key":"200_CR52","unstructured":"ITU-T (2010) Recommendation Z.151, User Requirements Notation (URN). URL http:\/\/www.itu.int\/rec\/T-REC-Z.151\/en"},{"key":"200_CR53","doi-asserted-by":"crossref","unstructured":"Kim TH, Cha SD (2006) Timed high-level message sequence charts for real-time system design. In: System analysis and modeling: language profiles, 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31\u2013June 2, 2006, revised selected papers, pp. 82\u201398","DOI":"10.1007\/11951148_6"},{"key":"200_CR54","doi-asserted-by":"crossref","unstructured":"Klose J, Wittke H (2001) An automata based interpretation of live sequence charts. In: TACAS 2001: Proceedings of the 7th International conference on tools and algorithms for the construction and analysis of systems. Springer, London, pp 512\u2013527","DOI":"10.1007\/3-540-45319-9_35"},{"key":"200_CR55","doi-asserted-by":"crossref","unstructured":"Konrad S, Cheng BHC (2005) Real-time specification patterns. In: ICSE \u201905: Proceedings of the 27th international conference on Software engineering, pp 372\u2013381 doi: 10.1145\/1062455.1062526","DOI":"10.1145\/1062455.1062526"},{"issue":"1-2","key":"200_CR56","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"KG Larsen","year":"1997","unstructured":"Larsen KG, Pettersson P, Yi W (1997) UPPAAL in a nutshell. Int J Softw Tools Technol Transf 1(1\u20132):134\u2013152","journal-title":"Int J Softw Tools Technol Transf"},{"key":"200_CR57","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/j.entcs.2004.02.079","volume":"116","author":"L Lavazza","year":"2005","unstructured":"Lavazza L, Morasca S, Morzenti A (2005) A dual language approach to the development of time-critical systems. Electr Notes Theor Comput Sci 116:227\u2013239","journal-title":"Electr Notes Theor Comput Sci"},{"key":"200_CR58","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/978-1-4615-4493-7_8","volume-title":"Proceedings of the 5th workshop on discrete event systems","author":"P Le Maigat","year":"2000","unstructured":"Le Maigat P, H\u00e9lou\u00ebt L (2000) A (max,+) approach for time in message sequence charts. In: Boel R, Stremersch G (eds) Proceedings of the 5th workshop on discrete event systems., Kluwer Academic Publishers, Ghent, pp 83\u201392"},{"key":"200_CR59","volume-title":"Clocked transition systems. Technical report","author":"Z Manna","year":"1996","unstructured":"Manna Z, Pnueli A (1996) Clocked transition systems. Technical report. Stanford University, Stanford"},{"key":"200_CR60","unstructured":"Meng-Siew N (1993) Reasoning with timing constraints in message sequence charts. Master\u2019s thesis, University of Stirling, Scotland, U.K. (Aug 1993)"},{"key":"200_CR61","unstructured":"Merlin PM (1974) A study of the recoverability of computing systems. Ph.D. thesis, University of California, Irvine"},{"key":"200_CR62","doi-asserted-by":"crossref","unstructured":"Mussbacher G, Amyot D (2008) Assessing the applicability of use case maps for business process and workflow description. In: Proceedings of the 2008 International MCETECH Conference on e-Technologies, MCETECH \u201908, pp. 219\u2013222. IEEE Computer Society, Washington. doi: 10.1109\/MCETECH.2008.18","DOI":"10.1109\/MCETECH.2008.18"},{"key":"200_CR63","doi-asserted-by":"crossref","unstructured":"Nagappan M, Wu K, Vouk MA (2009) Efficiently extracting operational profiles from execution logs using suffix arrays. In: Proceedings of the 2009 20th International Symposium on Software Reliability Engineering, ISSRE \u201909. IEEE Comput Soc, Washington, pp 41\u201350 doi: 10.1109\/ISSRE.2009.23","DOI":"10.1109\/ISSRE.2009.23"},{"key":"200_CR64","doi-asserted-by":"crossref","unstructured":"Nicollin X, Sifakis J (1992) An overview and synthesis on timed process algebras. In: Proceedings of the real-time: theory in practice, REX Workshop. Springer, London, pp 526\u2013548","DOI":"10.1007\/BFb0032006"},{"issue":"2","key":"200_CR65","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1007\/s10009-005-0205-x","volume":"8","author":"I Ober","year":"2006","unstructured":"Ober I, Graf S, Ober I (2006) Validating timed UML models by simulation and verification. Int J Softw Tools Technol Transf 8(2):128\u2013145. doi: 10.1007\/s10009-005-0205-x","journal-title":"Int J Softw Tools Technol Transf"},{"key":"200_CR66","unstructured":"OMEGA (2007) OMEGA consortium. webpage of the omega ist project. http:\/\/www-omega.imag.fr\/ . Last accessed, Dec 2013"},{"key":"200_CR67","unstructured":"OMG (2002) Response to the OMG RFP for schedulability, performance and time, v. 2.0. OMG document ad\/2002-03-04"},{"key":"200_CR68","unstructured":"OMG (2007) MARTE OMG specification. A UML Profile for MARTE. Beta 1. OMG Adopted specification ptc\/07-08-04"},{"issue":"12","key":"200_CR69","first-page":"2007","volume":"14","author":"M Ouimet","year":"2008","unstructured":"Ouimet M, Lundqvist K (2008) The timed abstract state machine language: abstract state machines for real-time system engineering. J Univ Comput Sci 14(12):2007\u20132033","journal-title":"J Univ Comput Sci"},{"issue":"11","key":"200_CR70","doi-asserted-by":"crossref","first-page":"2849","DOI":"10.1016\/j.jss.2013.06.060","volume":"86","author":"M Peiris","year":"2013","unstructured":"Peiris M, Hill JH (2013) Adapting system execution traces to support analysis of software system performance properties. J Syst Softw 86(11):2849\u20132862. doi: 10.1016\/j.jss.2013.06.060","journal-title":"J Syst Softw"},{"key":"200_CR71","doi-asserted-by":"crossref","unstructured":"Petriu D, Amyot D, Woodside M (2003) Scenario-based performance engineering with ucmnav. In: Proceedings of the 11th international conference on System design, SDL\u201903. Springer, Berlin, pp 18\u201335","DOI":"10.1007\/3-540-45075-0_2"},{"key":"200_CR72","doi-asserted-by":"crossref","unstructured":"Petriu DC, Woodside CM (2002) Software performance models from system scenarios in Use Case Maps. In: TOOLS \u201902: Proceedings of the 12th International Conference on computer performance evaluation, modelling techniques and tools. Springer, London, pp 141\u2013158","DOI":"10.1007\/3-540-46029-2_9"},{"issue":"1","key":"200_CR73","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1109\/5.259426","volume":"82","author":"K Ramamritham","year":"1994","unstructured":"Ramamritham K, Stankovic J (1994) Scheduling algorithms and operating systems support for real-time systems. Proc IEEE 82(1):55\u201367. doi: 10.1109\/5.259426","journal-title":"Proc IEEE"},{"key":"200_CR74","unstructured":"Ramchandani C (1974) Analysis of asynchronous concurrent systems by timed petri nets. Technical reports, Massachusetts Institute of Technology, Cambridge"},{"key":"200_CR75","unstructured":"Sinnott RO (2004) The formal, tool supported development of real time systems. In: SEFM \u201904: Proceedings of the software engineering and formal methods, second international conference on (SEFM\u201904). IEEE Comput Soc, Washington, pp 388\u2013395 doi: 10.1109\/SEFM.2004.43"},{"key":"200_CR76","unstructured":"SpecExplorer: microsoft research: Spec explorer tool. http:\/\/research.microsoft.com\/en-us\/downloads\/b33add8c-6172-444d-b1b1-6a91323ad7cc\/default.aspx (2006)"},{"key":"200_CR77","unstructured":"jUCMNav v5.4.0: jUCMNav Project (tool, documentation, and meta-model). http:\/\/jucmnav.softwareengineering.ca\/jucmnav (2013), Last accessed, Dec 2013"},{"key":"200_CR78","doi-asserted-by":"crossref","unstructured":"Veanes M (2002) Modeling software: From theory to practice. In: FST TCS \u201902: Proceedings of the 22nd Conference Kanpur on foundations of software technology and theoretical computer science. Springer, London, pp 37\u201346","DOI":"10.1007\/3-540-36206-1_5"},{"key":"200_CR79","doi-asserted-by":"crossref","first-page":"36:1","DOI":"10.1145\/1347375.1347389","volume":"7","author":"R Wilhelm","year":"2008","unstructured":"Wilhelm R, Engblom J, Ermedahl A, Holsti N, Thesing S, Whalley D, Bernat G, Ferdinand C, Heckmann R, Mitra T, Mueller F, Puaut I, Puschner P, Staschulat J, Stenstr\u00f6m P (2008) The worst-case execution-time problem: overview of methods and survey of tools. ACM Trans Embed Comput Syst 7:36:1\u201336:53. doi: 10.1145\/1347375.1347389","journal-title":"ACM Trans Embed Comput Syst"},{"issue":"10-11","key":"200_CR80","doi-asserted-by":"crossref","first-page":"421","DOI":"10.1016\/S1383-7621(03)00102-4","volume":"49","author":"F Wolf","year":"2003","unstructured":"Wolf F, Mohr B (2003) Automatic performance analysis of hybrid mpi\/openmp applications. J Syst Architect 49(10\u201311):421\u2013439. doi: 10.1016\/S1383-7621(03)00102-4","journal-title":"J Syst Architect"},{"key":"200_CR81","unstructured":"Xu W, Huang L, Fox A, Patterson D, Jordan M (2008) Mining console logs for large-scale system problem detection. In: 3rd Workshop on tackling system problems with machine learning techniques (SysML08), pp. 1\u20136"},{"key":"200_CR82","doi-asserted-by":"crossref","unstructured":"Xuandong L, Meng C, Yu P, Jianhua Z, Guoliang Z (2001) Timing analysis of UML activity diagrams. In: UML 2001\u2014The Unified modeling language, modeling languages, concepts, and tools, 4th International Conference, Toronto, Canada, Oct 1\u20135, 2001, Proceedings. Springer, London, pp. 62\u201375","DOI":"10.1007\/3-540-45441-1_6"},{"key":"200_CR83","unstructured":"Yi Z (2000) CNAP specification and validation: A design methodology using lotos and UCM. Master\u2019s thesis, SITE, University of Ottawa, Canada"},{"key":"200_CR84","unstructured":"Zheng T, Khendek F (2002) An extension for MSC-2000 and its application. In: Telecommunications and beyond: the broader applicability of SDL and MSC, Third International Workshop, SAM 2002, Aberystwyth, June 24\u201326. Revised papers, pp. 221\u2013232"},{"key":"200_CR85","doi-asserted-by":"crossref","unstructured":"Zheng T, Khendek F, H\u00e9lou\u00ebt L (2002) A semantics for timed msc. Electr Notes Theor Comput Sci 65(7):85\u201399","DOI":"10.1016\/S1571-0661(04)80486-9"}],"container-title":["Requirements Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00766-013-0200-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00766-013-0200-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00766-013-0200-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T22:34:33Z","timestamp":1565130873000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00766-013-0200-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,1,29]]},"references-count":85,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2015,6]]}},"alternative-id":["200"],"URL":"https:\/\/doi.org\/10.1007\/s00766-013-0200-9","relation":{},"ISSN":["0947-3602","1432-010X"],"issn-type":[{"value":"0947-3602","type":"print"},{"value":"1432-010X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,1,29]]}}}