{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:49:13Z","timestamp":1740098953782,"version":"3.37.3"},"publisher-location":"Cham","reference-count":38,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319694825"},{"type":"electronic","value":"9783319694832"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-69483-2_19","type":"book-chapter","created":{"date-parts":[[2017,10,16]],"date-time":"2017-10-16T07:34:48Z","timestamp":1508139288000},"page":"319-336","source":"Crossref","is-referenced-by-count":6,"title":["How to Efficiently Build a Front-End Tool for\u00a0UPPAAL: A Model-Driven Approach"],"prefix":"10.1007","author":[{"given":"Stefano","family":"Schivo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bu\u011fra M.","family":"Yildiz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enno","family":"Ruijters","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christopher","family":"Gerking","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rajesh","family":"Kumar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Dziwok","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arend","family":"Rensink","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mari\u00eblle","family":"Stoelinga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,10,17]]},"reference":[{"key":"19_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-51738-4_1","volume-title":"Cyber Physical Systems. Design, Modeling, and Evaluation","author":"W Ahmad","year":"2017","unstructured":"Ahmad, W., Yildiz, B.M., Rensink, A., Stoelinga, M.: A model-driven framework for hardware-software co-design of dataflow applications. In: Berger, C., Mousavi, M.R., Wisniewski, R. (eds.) CyPhy 2016. LNCS, vol. 10107, pp. 1\u201316. Springer, Cham (2017). doi: 10.1007\/978-3-319-51738-4_1"},{"key":"19_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-4821-1","volume-title":"Model-Based Design of Adaptive Embedded Systems","author":"T Basten","year":"2013","unstructured":"Basten, T., Hamberg, R., Reckers, F., Verriet, J.: Model-Based Design of Adaptive Embedded Systems. Springer Publishing Company, New York (2013). doi: 10.1007\/978-1-4614-4821-1"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"Behrmann, G., David, A., Larsen, K.G., H\u00e5kansson, J., Petterson, P., Yi, W., Hendrink, M.: Uppaal 4.0. In: Proceedings of 3rd International Conference on Quantitative Evaluation of Systems (QEST), pp. 125\u2013126 (2006). https:\/\/doi.org\/10.1109\/QEST.2006.59","DOI":"10.1109\/QEST.2006.59"},{"issue":"4","key":"19_CR4","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1145\/1059816.1059823","volume":"32","author":"G Behrmann","year":"2005","unstructured":"Behrmann, G., Larsen, K.G., Rasmussen, J.I.: Optimal scheduling using priced timed automata. SIGMETRICS Perform. Eval. Rev. 32(4), 34\u201340 (2005)","journal-title":"SIGMETRICS Perform. Eval. Rev."},{"key":"19_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-540-27755-2_3","volume-title":"Lectures on Concurrency and Petri Nets","author":"J Bengtsson","year":"2004","unstructured":"Bengtsson, J., Yi, W.: Timed automata: semantics, algorithms and tools. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) ACPN 2003. LNCS, vol. 3098, pp. 87\u2013124. Springer, Heidelberg (2004). doi: 10.1007\/978-3-540-27755-2_3"},{"key":"19_CR6","unstructured":"Brandt, J.: Understanding attacks: modeling the outcome of attack tree analysis. In: 25th Twente Student Conference on IT, vol. 25. University of Twente (2016), BSc. Thesis; see. http:\/\/referaat.cs.utwente.nl\/conference\/25\/paper"},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"Bulychev, P., David, A., Larsen, K.G., Mikuc\u0306ionis, M., Poulsen, D.B., Legay, A., Wang, Z.: Uppaal-SMC: statistical model checking for priced timed automata. In: Proceedings of 10th Wks. Quantitative Aspects of Programming Languages (2012). https:\/\/doi.org\/10.4204\/EPTCS.85.1","DOI":"10.4204\/EPTCS.85.1"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Dugan, J.B., Bavuso, S.J., Boyd, M.A.: Fault trees and sequence dependencies. In: Proceedings of Annual Reliability and Maintainability Symposium, pp. 286\u2013293, January 1990","DOI":"10.1109\/ARMS.1990.67971"},{"key":"19_CR9","unstructured":"Dziwok, S., Gerking, C., Heinzemann, C.: Domain-specific Model Checking of MechatronicUML Models Using Uppaal. Technical report tr-ri-15-346, Paderborn University, Jul 2015. https:\/\/www.hni.uni-paderborn.de\/pub\/9121"},{"key":"19_CR10","unstructured":"Dziwok, S., Pohlmann, U., Piskachev, G., Schubert, D., Thiele, S., Gerking, C.: The mechatronicUML design method: process and language for platform-independent modeling. Technical report tr-ri-16-352, Software Engineering Department, Fraunhofer IEM \/ Software Engineering Group, Heinz Nixdorf Institute , version 1.0, December 2016"},{"key":"19_CR11","unstructured":"Eclipse foundation Inc: XTend - modernized Java. https:\/\/www.eclipse.org\/xtend\/index.html"},{"issue":"3","key":"19_CR12","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1016\/0167-6423(83)90017-5","volume":"2","author":"EA Emerson","year":"1982","unstructured":"Emerson, E.A., Clarke, E.M.: Using branching time temporal logic to synthesize synchronization skeletons. Sci. Comput. Program. 2(3), 241\u2013266 (1982)","journal-title":"Sci. Comput. Program."},{"issue":"9","key":"19_CR13","doi-asserted-by":"crossref","first-page":"486","DOI":"10.1016\/j.sysarc.2015.04.005","volume":"61","author":"M Fakih","year":"2015","unstructured":"Fakih, M., Gr\u00fcttner, K., Fr\u00e4nzle, M., Rettberg, A.: State-based Real-time analysis of SDF applications on MPSoCs with shared communication resources. J. Syst. Archit. 61(9), 486\u2013509 (2015)","journal-title":"J. Syst. Archit."},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"Frost, C., Jensen, C., Luckow, K.S., Thomsen, B.: WCET analysis of java bytecode featuring common execution environments. In: Proceedings of 9th International Wks. Java Technologies for Real-Time and Embedded Systems, pp. 30\u201339. ACM (2011)","DOI":"10.1145\/2043910.2043916"},{"key":"19_CR15","unstructured":"Gerking, C., Sch\u00e4fer, W., Dziwok, S., Heinzemann, C.: Domain-specific model checking for cyber-physical systems. In: Proceedings of 12th Wks. Model-Driven Engineering, Verification and Validation (MoDeVVa 2015). Ottawa, September 2015"},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"Glatz, B., Cleary, F., Horauer, M., Schuster, H., Balog, P.: Complementing testing of IEC61499 function blocks with model-checking. In: Proceedings of 12th IEEE\/ASME International Conference on Mechatronic, Embedded Systems and Applications (MESA) (2016)","DOI":"10.1109\/MESA.2016.7587151"},{"key":"19_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1007\/978-3-642-34176-2_19","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"J Greenyer","year":"2012","unstructured":"Greenyer, J., Rieke, J.: Applying advanced TGG concepts for a complex transformation of sequence diagram specifications to timed game automata. In: Sch\u00fcrr, A., Varr\u00f3, D., Varr\u00f3, G. (eds.) AGTIVE 2011. LNCS, vol. 7233, pp. 222\u2013237. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-34176-2_19"},{"key":"19_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1007\/978-3-642-54862-8_51","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A Hartmanns","year":"2014","unstructured":"Hartmanns, A., Hermanns, H.: The modest toolset: an integrated environment for quantitative modelling and verification. In: \u00c1brah\u00e1m, E., Havelund, K. (eds.) TACAS 2014. LNCS, vol. 8413, pp. 593\u2013598. Springer, Heidelberg (2014). doi: 10.1007\/978-3-642-54862-8_51"},{"issue":"1s","key":"19_CR19","first-page":"61:1","volume":"12","author":"P Herber","year":"2013","unstructured":"Herber, P., Glesner, S.: A HW\/SW co-verification framework for systemC. ACM TECS 12(1s), 61:1\u201361:23 (2013)","journal-title":"ACM TECS"},{"key":"19_CR20","unstructured":"Huistra, D.: A unifying model for attack trees. Research Project. University of Twente (2015). http:\/\/essay.utwente.nl\/69399\/"},{"key":"19_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/978-3-540-69927-9_4","volume-title":"Theory and Practice of Model Transformations","author":"DS Kolovos","year":"2008","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F.A.C.: The epsilon transformation language. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol. 5063, pp. 46\u201360. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-69927-9_4"},{"key":"19_CR22","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.cosrev.2014.07.001","volume":"13\u201314","author":"B Kordy","year":"2014","unstructured":"Kordy, B., Pi\u00e8tre-Cambac\u00e9d\u00e8s, L., Schweitzer, P.: DAG-based attack and defense modeling: don\u2019t miss the forest for the attack trees. Comput. Sci. Rev. 13\u201314, 1\u201338 (2014)","journal-title":"Comput. Sci. Rev."},{"key":"19_CR23","doi-asserted-by":"crossref","unstructured":"Kumar, R., Stoelinga, M.: Quantitative security and safety analysis with attack-fault trees. In: Proceedings of IEEE 18th International Symposium High Assurance Systems Engineering (HASE), pp. 25\u201332, January 2017","DOI":"10.1109\/HASE.2017.12"},{"key":"19_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/978-3-319-22975-1_11","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"R Kumar","year":"2015","unstructured":"Kumar, R., Ruijters, E., Stoelinga, M.: Quantitative attack tree analysis via priced timed automata. In: Sankaranarayanan, S., Vicario, E. (eds.) FORMATS 2015. LNCS, vol. 9268, pp. 156\u2013171. Springer, Cham (2015). doi: 10.1007\/978-3-319-22975-1_11"},{"issue":"9","key":"19_CR25","doi-asserted-by":"crossref","first-page":"1235","DOI":"10.1109\/PROC.1987.13876","volume":"75","author":"EA Lee","year":"1987","unstructured":"Lee, E.A., Messerschmitt, D.G.: Synchronous data flow. Proc. IEEE 75(9), 1235\u20131245 (1987)","journal-title":"Proc. IEEE"},{"key":"19_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"432","DOI":"10.1007\/978-3-540-69100-6_31","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"P Mohagheghi","year":"2008","unstructured":"Mohagheghi, P., Dehlen, V.: Where Is the proof? - a review of experiences from applying MDE in industry. In: Schieferdecker, I., Hartman, A. (eds.) ECMDA-FA 2008. LNCS, vol. 5095, pp. 432\u2013443. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-69100-6_31"},{"key":"19_CR27","unstructured":"Object Management Group (OMG): Meta Object Facility (MOF) 2.0 Query\/View\/Transformation Specification, Version 1.2. OMG Document Number formal\/01 Feb 2015. http:\/\/www.omg.org\/spec\/QVT\/1.2"},{"key":"19_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"579","DOI":"10.1007\/978-3-642-16558-0_47","volume-title":"Leveraging Applications of Formal Methods, Verification, and Validation","author":"AP Ravn","year":"2010","unstructured":"Ravn, A.P., Srba, J., Vighio, S.: A formal analysis of the web services atomic transaction protocol with UPPAAL. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010. LNCS, vol. 6415, pp. 579\u2013593. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-16558-0_47"},{"key":"19_CR29","doi-asserted-by":"crossref","unstructured":"Ruijters, E., Guck, D., Drolenga, P., Stoelinga, M.: Fault maintenance trees: reliability contered maintenance via statistical model checking. In: Proceedings IEEE 62nd Annual Reliability and Maintainability Symposium (RAMS). IEEE, January 2016","DOI":"10.1109\/RAMS.2016.7447986"},{"key":"19_CR30","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/j.cosrev.2015.03.001","volume":"15\u201316","author":"E Ruijters","year":"2015","unstructured":"Ruijters, E., Stoelinga, M.: Fault tree analysis: a survey of the state-of-the-art in modeling, analysis and tools. Comput. Sci. Rev. 15\u201316, 29\u201362 (2015)","journal-title":"Comput. Sci. Rev."},{"issue":"3","key":"19_CR31","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1109\/JBHI.2013.2292880","volume":"18","author":"S Schivo","year":"2014","unstructured":"Schivo, S., Scholma, J., Wanders, B., Camacho, R.A.U., van der Vet, P.E., Karperien, M., Langerak, R., van de Pol, J., Post, J.N.: Modeling Biological Pathway Dynamics With Timed Automata. IEEE J. Biomed. Health Inform. 18(3), 832\u2013839 (2014)","journal-title":"IEEE J. Biomed. Health Inform."},{"issue":"1","key":"19_CR32","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1186\/s12918-016-0286-z","volume":"10","author":"S Schivo","year":"2016","unstructured":"Schivo, S., Scholma, J., van der Vet, P.E., Karperien, M., Post, J.N., van de Pol, J., Langerak, R.: Modelling with ANIMO: between fuzzy logic and differential equations. BMC Syst. Biol. 10(1), 56 (2016)","journal-title":"BMC Syst. Biol."},{"key":"19_CR33","doi-asserted-by":"crossref","unstructured":"da Silva, A.R.: Model-driven engineering: A survey supported by the unified conceptual model. Comput. Languages, Systems & Structures 43, 139\u2013155 (2015)","DOI":"10.1016\/j.cl.2015.06.001"},{"key":"19_CR34","doi-asserted-by":"crossref","unstructured":"Sprinkle, J., Rumpe, B., Vangheluwe, H., Karsai, G.: Metamodelling. In: Model-Based Engineering of Embedded Real-Time Systems, pp. 57\u201376. Springer (2010)","DOI":"10.1007\/978-3-642-16277-0_3"},{"key":"19_CR35","unstructured":"Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse modeling framework 2.0. Addison-Wesley Professional, 2nd edn. (2009)"},{"key":"19_CR36","unstructured":"V\u00f6lter, M., Stahl, T., Bettin, J., Haase, A., Helsen, S.: Model-driven software development: technology, engineering, management. John Wiley & Sons (2006)"},{"key":"19_CR37","doi-asserted-by":"crossref","unstructured":"Yildiz, B.M., Bochisch, C.M., Rensink, A., Aksit, A.: An MDE approach for modular program analyses. In: Proc. Modularity in Modelling Workshop (2017)","DOI":"10.1145\/3079368.3079392"},{"key":"19_CR38","doi-asserted-by":"crossref","unstructured":"Yildiz, B.M., Rensink, A., Bockisch, C., Aksit, M.: A Model-Derivation Framework for Software Analysis. In: Proc. 2nd Wks. Models for Formal Analysis of Real Systems (MARS) (2017)","DOI":"10.4204\/EPTCS.244.9"}],"container-title":["Lecture Notes in Computer Science","Dependable Software Engineering. Theories, Tools, and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-69483-2_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,4]],"date-time":"2019-10-04T14:51:21Z","timestamp":1570200681000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-69483-2_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319694825","9783319694832"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-69483-2_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}