{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T01:45:32Z","timestamp":1755999932355,"version":"3.37.3"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319659473"},{"type":"electronic","value":"9783319659480"}],"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-65948-0_4","type":"book-chapter","created":{"date-parts":[[2017,8,9]],"date-time":"2017-08-09T22:33:00Z","timestamp":1502317980000},"page":"45-61","source":"Crossref","is-referenced-by-count":6,"title":["A Generated Property Specification Language for Resilient Multirobot Missions"],"prefix":"10.1007","author":[{"given":"Swaib","family":"Dragule","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bart","family":"Meyers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrizio","family":"Pelliccione","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,11]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Autili, M., Grunske, L., Lumpe, M., Pelliccione, P., Tang, A.: Aligning qualitative, real-time, and probabilistic property specification patterns using a structured english grammar. IEEE Trans. Softw. Eng. 41(7), 620\u2013638 (2015). http:\/\/dx.doi.org\/10.1109\/TSE.2015.2398877","DOI":"10.1109\/TSE.2015.2398877"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Bozhinoski, D., Bucchiarone, A., Malavolta, I., Marconi, A., Pelliccione, P.: Leveraging collective run-time adaptation for UAV-based systems. In: 2016 42nd Euromicro Conference on Software Engineering and Advanced Applications (SEAA), pp. 214\u2013221 (2016). http:\/\/ieeexplore.ieee.org\/document\/7592799\/","DOI":"10.1109\/SEAA.2016.41"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Bozhinoski, D., Di Ruscio, D., Malavolta, I., Pelliccione, P., Tivoli, M.: FLYAQ: enabling non-expert users to specify and generate missions of autonomous multicopters. In: Proceedings - 2015 30th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2015, pp. 801\u2013806 (2015)","DOI":"10.1109\/ASE.2015.104"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Ciccozzi, F., Di Ruscio, D., Malavolta, I., Pelliccione, P.: Adopting MDE for specifying and executing civilian missions of mobile multi-robot systems. IEEE Access 3536(c), 1 (2016). http:\/\/ieeexplore.ieee.org\/document\/7576686\/","DOI":"10.1109\/ACCESS.2016.2613642"},{"key":"4_CR5","unstructured":"Cohen, D., Feather, M.S., Narayanaswamy, K., Fickas, S.: Automatic monitoring of software requirements. In: Adrion, W.R., Fuggetta, A., Taylor, R.N., Wasserman, A.I. (eds.) Pulling Together, Proceedings of the 19th International Conference on Software Engineering, Boston, Massachusetts, USA, 17\u201323 May 1997, pp. 602\u2013603. ACM (1997). http:\/\/doi.acm.org\/10.1145\/253228.253493"},{"key":"4_CR6","unstructured":"Di Ruscio, D., Malavolta, I., Pelliccione, P.: A family of domain-specific languages for specifying civilian missions of multi-robot systems. In: CEUR Workshop Proceedings, vol. 1319, pp. 16\u201329 (2014)"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Di Ruscio, D., Malavolta, I., Pelliccione, P., Tivoli, M.: Automatic generation of detailed flight plans from high-level mission descriptions. In: Proceedings of the ACM\/IEEE 19th International Conference on Model Driven Engineering Languages and Systems - MODELS 2016, pp. 45\u201355. ACM Press, New York (2016). http:\/\/dl.acm.org\/citation.cfm?doid=2976767.2976794","DOI":"10.1145\/2976767.2976794"},{"key":"4_CR8","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Boehm, B.W., Garlan, D., Kramer, J. (eds.) Proceedings of the 1999 International Conference on Software Engineering, ICSE 1999, Los Angeles, CA, USA, 16\u201322 May 1999, pp. 411\u2013420. ACM (1999). http:\/\/portal.acm.org\/citation.cfm?id=302405.302672"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Eysholdt, M., Behrens, H.: Xtext: implement your language faster than the quick and dirty way. In: Cook, W.R., Clarke, S., Rinard, M.C. (eds.) Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, SPLASH\/OOPSLA 17\u201321, 2010, Reno\/Tahoe, Nevada, USA, pp. 307\u2013309. ACM (2010). http:\/\/doi.acm.org\/10.1145\/1869542.1869625","DOI":"10.1145\/1869542.1869625"},{"issue":"1","key":"4_CR10","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1109\/TSE.2015.2421318","volume":"42","author":"A Filieri","year":"2016","unstructured":"Filieri, A., Tamburrelli, G., Ghezzi, C.: Supporting self-adaptation via quantitative verification and sensitivity analysis at run time. IEEE Trans. Softw. Eng. 42(1), 75\u201399 (2016)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Franco, J.M., Correia, F., Barbosa, R., Zenha-Rela, M., Schmerl, B., Garlan, D.: Improving self-adaptation planning through software architecture-based stochastic modeling. J. Syst. Softw. 115, 42\u201360 (2016). http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0164121216000212","DOI":"10.1016\/j.jss.2016.01.026"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Gherardi, L., Hochgeschwender, N.: RRA: Models and tools for robotics run-time adaptation. In: IEEE International Conference on Intelligent Robots and Systems 2015, pp. 1777\u20131784, December 2015","DOI":"10.1109\/IROS.2015.7353608"},{"key":"4_CR13","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-34781-8_1","volume-title":"Leveraging Applications of Formal Methods, Verification, and Validation","author":"S G\u00f6tz","year":"2012","unstructured":"G\u00f6tz, S., Leuth\u00e4user, M., Reimann, J., Schroeter, J., Wende, C., Wilke, C., A\u00dfmann, U.: A role-based language for collaborative robot applications. In: H\u00e4hnle, R., Knoop, J., Margaria, T., Schreiner, D., Steffen, B. (eds.) ISoLA 2011. CCIS, pp. 1\u201315. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-34781-8_1"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Gray, J., Neema, S., Tolvanen, J., Gokhale, A.S., Kelly, S., Sprinkle, J.: Domain-specific modeling. In: Fishwick, P.A. (ed.) Handbook of Dynamic System Modeling. Chapman and Hall\/CRC (2007). http:\/\/dx.doi.org\/10.1201\/9781420010855.pt2","DOI":"10.1201\/9781420010855.pt2"},{"key":"4_CR15","unstructured":"Kim, Y., Jung, J.W., Gallagher, J.C., Matson, E.T.: An adaptive goal-based model for autonomous multi-robot using HARMS and NuSMV. Int. J. Fuzzy Logic Intell. Syst. 16(2), 95\u2013103 (2016). http:\/\/www.ijfis.org\/journal\/view.html?doi=10.5391\/IJFIS.2016.16.2.95"},{"key":"4_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1007\/978-3-642-12261-3_23","volume-title":"Models in Software Engineering","author":"T K\u00fchne","year":"2010","unstructured":"K\u00fchne, T., Mezei, G., Syriani, E., Vangheluwe, H., Wimmer, M.: Explicit transformation modeling. In: Ghosh, S. (ed.) MODELS 2009. LNCS, vol. 6002, pp. 240\u2013255. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-12261-3_23"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Meyers, B., Denil, J., D\u00e1vid, I., Vangheluwe, H.: Automated testing support for reactive domain-specific modelling languages. In: Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering - SLE 2016, pp. 181\u2013194. ACM Press, New York (2016). http:\/\/dl.acm.org\/citation.cfm?doid=2997364.2997367","DOI":"10.1145\/2997364.2997367"},{"key":"4_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-11245-9_1","volume-title":"Software Language Engineering","author":"B Meyers","year":"2014","unstructured":"Meyers, B., Deshayes, R., Lucio, L., Syriani, E., Vangheluwe, H., Wimmer, M.: ProMoBox: a framework for generating domain-specific property languages. In: Combemale, B., Pearce, D.J., Barais, O., Vinju, J.J. (eds.) SLE 2014. LNCS, vol. 8706, pp. 1\u201320. Springer, Cham (2014). doi: 10.1007\/978-3-319-11245-9_1"},{"key":"4_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/978-3-642-00434-6_15","volume-title":"Software Language Engineering","author":"B Sch\u00e4tz","year":"2009","unstructured":"Sch\u00e4tz, B.: Formalization and rule-based transformation of EMF ecore-based models. In: Ga\u0161evi\u0107, D., L\u00e4mmel, R., Wyk, E. (eds.) SLE 2008. LNCS, vol. 5452, pp. 227\u2013244. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-00434-6_15"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Shevtsov, S., Weyns, D.: Keep it simplex: Satisfying multiple goals with guarantees in control-based self-adaptive systems. In: Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2016, pp. 229\u2013241. ACM, New York (2016). http:\/\/doi.acm.org\/10.1145\/2950290.2950301","DOI":"10.1145\/2950290.2950301"},{"key":"4_CR21","unstructured":"SPARC: Robotics 2020 Multi-Annual Roadmap. 2016, 325 (2015)"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Steck, A., Lotz, A., Schlegel, C.: Model-driven engineering and run-time model-usage in service robotics. In: Proceedings of the 10th ACM International Conference on Generative Programming and Component Engineering - GPCE 2011, p. 73 (2011). http:\/\/dl.acm.org\/citation.cfm?doid=2047862.2047875","DOI":"10.1145\/2047862.2047875"},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"Ulam, P., Endo, Y., Wagner, A., Arkin, R.: Integrated mission specification and task allocation for robot teams - Design and implementation. In: Proceedings - IEEE International Conference on Robotics and Automation, pp. 4428\u20134435 (2007)","DOI":"10.1109\/ROBOT.2007.364161"},{"key":"4_CR24","doi-asserted-by":"crossref","unstructured":"Zhong, C., DeLoach, S.A.: Runtime models for automatic reorganization of multi-robot systems. In: Proceeding of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems - SEAMS 2011, p. 20. ACM, New York (2011). http:\/\/portal.acm.org\/citation.cfm?doid=1988008.1988012","DOI":"10.1145\/1988008.1988012"}],"container-title":["Lecture Notes in Computer Science","Software Engineering for Resilient Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-65948-0_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T02:37:31Z","timestamp":1569983851000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-65948-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319659473","9783319659480"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-65948-0_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}