{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T10:50:20Z","timestamp":1749120620163,"version":"3.37.3"},"reference-count":87,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2017,3,8]],"date-time":"2017-03-08T00:00:00Z","timestamp":1488931200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["DFG CRC 1053 MAKI"],"award-info":[{"award-number":["DFG CRC 1053 MAKI"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2019,2]]},"DOI":"10.1007\/s10270-017-0587-8","type":"journal-article","created":{"date-parts":[[2017,3,8]],"date-time":"2017-03-08T08:20:21Z","timestamp":1488961221000},"page":"279-319","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["A systematic approach to constructing families of incremental topology control algorithms using graph transformation"],"prefix":"10.1007","volume":"18","author":[{"given":"Roland","family":"Kluge","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Stein","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gergely","family":"Varr\u00f3","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andy","family":"Sch\u00fcrr","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Hollick","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Max","family":"M\u00fchlh\u00e4user","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,3,8]]},"reference":[{"key":"587_CR1","doi-asserted-by":"crossref","unstructured":"Agricola, I.: Elementary Geometry. AMS, Cambridge (2008)","DOI":"10.1090\/stml\/043"},{"key":"587_CR2","doi-asserted-by":"publisher","unstructured":"Al Saad, M., Fehr, E., Kamenzky, N., Schiller, J.: ScatterClipse: A model-driven tool-chain for developing, testing, and prototyping wireless sensor networks. In: Proceedings of the International Symposium on Parallel and Distributed Processing with Applications (ISPA 2008), pp. 871\u2013885 (2008). doi:\n                    10.1109\/ISPA.2008.22","DOI":"10.1109\/ISPA.2008.22"},{"key":"587_CR3","doi-asserted-by":"publisher","unstructured":"Anaya, I.D.P., Simko, V., Bourcier, J., Plouzeau, N., J\u00e9z\u00e9quel, J.M.: A prediction-driven adaptation approach for self-adaptive sensor networks. In: Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2014), pp. 145\u2013154. ACM, New York, NY (2014). doi:\n                    10.1145\/2593929.2593941","DOI":"10.1145\/2593929.2593941"},{"key":"587_CR4","doi-asserted-by":"publisher","unstructured":"Anguera, J., Blesa, M., Farr\u00e9, J., L\u00f3pez, V., Petit, J.: Topology Control Algorithms in WISELIB. In: Proceedings of the ICSE Workshop on Software Engineering for Sensor Network Applications (SESENA 2010), pp. 14\u201319. ACM, New York, NY (2010). doi:\n                    10.1145\/1809111.1809118","DOI":"10.1145\/1809111.1809118"},{"issue":"7","key":"587_CR5","doi-asserted-by":"publisher","first-page":"869","DOI":"10.1016\/j.ic.2008.04.002","volume":"206","author":"P Baldan","year":"2008","unstructured":"Baldan, P., Corradini, A., K\u00f6nig, B.: A framework for the verification of infinite-state graph transformation systems. Inf. Comput. 206(7), 869\u2013907 (2008). doi:\n                    10.1016\/j.ic.2008.04.002","journal-title":"Inf. Comput."},{"key":"587_CR6","doi-asserted-by":"publisher","unstructured":"Baleani, M., Ferrari, A., Mangeruca, L., Sangiovanni-Vincentelli, A., Freund, U., Schlenker, E., Wolff, H.J.: Correct-by-construction transformations across design environments for model-based embedded software development. In: Proceedings of Design, Automation and Test in Europe (DATE 2005), vol.\u00a02, pp. 1044\u20131049 (2005). doi:\n                    10.1109\/DATE.2005.105","DOI":"10.1109\/DATE.2005.105"},{"issue":"3","key":"587_CR7","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/MS.2011.27","volume":"28","author":"A Basu","year":"2011","unstructured":"Basu, A., Bensalem, B., Bozga, M., Combaz, J., Jaber, M., Nguyen, T.H., Sifakis, J.: Rigorous component-based system design using the BIP framework. IEEE Softw. 28(3), 41\u201348 (2011). doi:\n                    10.1109\/MS.2011.27","journal-title":"IEEE Softw."},{"key":"587_CR8","doi-asserted-by":"publisher","unstructured":"Bencomo, N., Sawyer, P., Blair, G., Grace, P.: Dynamically adaptive systems are product lines too: using model-driven techniques to capture dynamic variability of adaptive systems. In: Proceedings of the International Workshop on Dynamic Software Product Lines (DSPL 2008) (2008). doi:\n                    10.1109\/SPLC.2008.69","DOI":"10.1109\/SPLC.2008.69"},{"key":"587_CR9","doi-asserted-by":"publisher","unstructured":"Berardinelli, L., Di\u00a0Marco, A., Pace, S., Pomante, L., Tiberti, W.: Energy consumption analysis and design of energy-aware WSN agents in fUML.. In: Proceedings of the European Conference on Modelling Foundations and Applications (ECMFA 2015), LNCS, vol. 9153, pp. 1\u201317. Springer, New York (2015). doi:\n                    10.1007\/978-3-319-21151-0_1","DOI":"10.1007\/978-3-319-21151-0_1"},{"key":"587_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-28554-7","volume-title":"Model-Driven Software Development","author":"S Beydeda","year":"2005","unstructured":"Beydeda, S., Book, M., Gruhn, V.: Model-Driven Software Development, 15th edn. Springer, New York (2005)","edition":"15"},{"key":"587_CR11","doi-asserted-by":"publisher","unstructured":"B\u00fcrdek, J., Lity, S., Lochau, M., Berens, M., Goltz, U., Sch\u00fcrr, A.: Staged configuration of dynamic software product lines with complex binding time constraints. In: Proc. of the International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS 2014), pp. 16:1\u201316:8. ACM, New York, NY (2013). doi:\n                    10.1145\/2556624.2556627","DOI":"10.1145\/2556624.2556627"},{"issue":"5","key":"587_CR12","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1002\/wcm.72","volume":"2","author":"T Camp","year":"2002","unstructured":"Camp, T., Boleng, J., Davies, V.: A survey of mobility models for ad hoc network research. Wirel. Commun. Mobile Comput. 2(5), 483\u2013502 (2002). doi:\n                    10.1002\/wcm.72","journal-title":"Wirel. Commun. Mobile Comput."},{"key":"587_CR13","doi-asserted-by":"publisher","unstructured":"Chakeres, I., Belding-Royer, E.: AODV routing protocol implementation design. In: Proceedings of the International Conference on Distributed Computing Systems Workshops (ICDCSW 2004), pp. 698\u2013703 (2004). doi:\n                    10.1109\/ICDCSW.2004.1284108","DOI":"10.1109\/ICDCSW.2004.1284108"},{"issue":"11","key":"587_CR14","doi-asserted-by":"publisher","first-page":"976","DOI":"10.1109\/LCOMM.2005.11010","volume":"9","author":"Y Chen","year":"2005","unstructured":"Chen, Y., Zhao, Q.: On the lifetime of wireless sensor networks. IEEE Commun. Lett. 9(11), 976\u2013978 (2005). doi:\n                    10.1109\/LCOMM.2005.11010","journal-title":"IEEE Commun. Lett."},{"key":"587_CR15","doi-asserted-by":"publisher","unstructured":"Chu, X., Sethu, H.: Cooperative topology control with adaptation for improved lifetime in wireless ad-hoc networks. In: Proceedings of the IEEE International Conference on Computer Communications (INFOCOM 2012), pp. 262\u2013270 (2012). doi:\n                    10.1109\/INFCOM.2012.6195667","DOI":"10.1109\/INFCOM.2012.6195667"},{"key":"587_CR16","doi-asserted-by":"publisher","unstructured":"Deckwerth, F., Varr\u00f3, G.: Generating preconditions from graph constraints by higher order graph transformation. In: Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014), vol.\u00a067, pp. 1\u201314. ECEASST (2014). doi:\n                    10.14279\/tuj.eceasst.67.945","DOI":"10.14279\/tuj.eceasst.67.945"},{"key":"587_CR17","doi-asserted-by":"publisher","unstructured":"Delicato, F.C., Fuentes, L., G\u00e1mez, N., Pires, P.F.: A middleware family for VANETs. In: Proceedings of the 8th International Conference on Ad-Hoc, Mobile and Wireless Networks (ADHOC-NOW 2009), pp. 379\u2013384. Springer, New York (2009). doi:\n                    10.1007\/978-3-642-04383-3_31","DOI":"10.1007\/978-3-642-04383-3_31"},{"key":"587_CR18","doi-asserted-by":"publisher","unstructured":"Delicato, F.C., Fuentes, L., G\u00e1mez, N., Pires, P.F.: Variabilities of wireless and actuators sensor network middleware for ambient assisted living. In: Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living (IWANN 2009 Workshops), LNCS, vol. 5518, pp. 851\u2013858. Springer, Berlin (2009). doi:\n                    10.1007\/978-3-642-02481-8_129","DOI":"10.1007\/978-3-642-02481-8_129"},{"key":"587_CR19","volume-title":"A Discipline of Programming","author":"EW Dijkstra","year":"1976","unstructured":"Dijkstra, E.W.: A Discipline of Programming, vol. 1. Prentice Hall, Englewood Cliffs, NJ (1976)"},{"key":"587_CR20","doi-asserted-by":"publisher","unstructured":"Dohler, M., Barthel, D., Maraninchi, F., Mounier, L., Aubert, S., Dugas, C., Buhrig, A., Paugnat, F., Renaudin, M., Duda, A., Heusse, M., Valois, F.: The ARESA project: facilitating research, development and commercialization of WSNs. In: Proceedings of the IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks (SECON 2007), pp. 590\u2013599 (2007). doi:\n                    10.1109\/SAHCN.2007.4292871","DOI":"10.1109\/SAHCN.2007.4292871"},{"key":"587_CR21","doi-asserted-by":"publisher","unstructured":"Dunkels, A., Gronvall, B., Voigt, T.: Contiki\u2014A lightweight and flexible operating system for tiny networked sensors. In: Proceedings of the International Conference on Local Computer Networks (LCN 2004), pp. 455\u2013462 (2004). doi:\n                    10.1109\/LCN.2004.38","DOI":"10.1109\/LCN.2004.38"},{"key":"587_CR22","doi-asserted-by":"publisher","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer, New York (2006). doi:\n                    10.1007\/3-540-31188-2","DOI":"10.1007\/3-540-31188-2"},{"key":"587_CR23","doi-asserted-by":"publisher","unstructured":"Fischer, T., Niere, J., Torunski, L., Z\u00fcndorf, A.: Story diagrams: a new graph rewrite language based on the unified modeling language. In: Proceedings of the International Workshop on Theory and Application of Graph Transformation (TAGT 1998), pp. 296\u2013309. Springer, New York (1998). doi:\n                    10.1007\/978-3-540-46464-8_21","DOI":"10.1007\/978-3-540-46464-8_21"},{"issue":"3","key":"587_CR24","doi-asserted-by":"publisher","first-page":"16:1","DOI":"10.1145\/1552297.1552299","volume":"4","author":"CL Fok","year":"2009","unstructured":"Fok, C.L., Roman, G.C., Lu, C.: Agilla: a mobile agent middleware for self-adaptive wireless sensor networks. ACM Trans. Auton. Adapt. Syst. 4(3), 16:1\u201316:26 (2009). doi:\n                    10.1145\/1552297.1552299","journal-title":"ACM Trans. Auton. Adapt. Syst."},{"issue":"5","key":"587_CR25","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1109\/JRPROC.1946.234568","volume":"34","author":"HT Friis","year":"1946","unstructured":"Friis, H.T.: A note on a simple transmission formula. Proc. Inst. Radio Eng. 34(5), 254\u2013256 (1946). doi:\n                    10.1109\/JRPROC.1946.234568","journal-title":"Proc. Inst. Radio Eng."},{"key":"587_CR26","doi-asserted-by":"publisher","unstructured":"Fuentes, L., Gamez, N., Sanchez, P.: Variability in ambient intelligence a family of middleware solution. Ubiquitous Developments in Ambient Computing and Intelligence: Human-Centered Applications pp. 71\u201383 (2011). doi:\n                    10.4018\/978-1-60960-549-0.ch006","DOI":"10.4018\/978-1-60960-549-0.ch006"},{"issue":"12","key":"587_CR27","doi-asserted-by":"publisher","first-page":"1592","DOI":"10.3217\/jucs-016-12-1592","volume":"16","author":"L Fuentes","year":"2010","unstructured":"Fuentes, L., G\u00e1mez, N.: Configuration process of a software product line for Am I middleware. J. Univers. Comput. Sci. 16(12), 1592\u20131611 (2010). doi:\n                    10.3217\/jucs-016-12-1592","journal-title":"J. Univers. Comput. Sci."},{"issue":"3","key":"587_CR28","doi-asserted-by":"publisher","first-page":"259","DOI":"10.2307\/2412323","volume":"18","author":"KR Gabriel","year":"1969","unstructured":"Gabriel, K.R., Sokal, R.R.: A new statistical approach to geographic variation analysis. Syst. Biol. 18(3), 259\u2013278 (1969). doi:\n                    10.2307\/2412323","journal-title":"Syst. Biol."},{"key":"587_CR29","doi-asserted-by":"publisher","unstructured":"Gorp, P.V., Mazanek, S.: SHARE: a web portal for creating and sharing executable research papers. In: Proceedings of the International Conference on Computational Science (ICCS 2011), vol.\u00a04, pp. 589\u2013597 (2011). doi:\n                    10.1016\/j.procs.2011.04.062","DOI":"10.1016\/j.procs.2011.04.062"},{"key":"587_CR30","doi-asserted-by":"publisher","unstructured":"Habel, A., Radke, H.: Expressiveness of graph conditions with variables. In: Proceedings of the International Colloquium on Graph and Model Transformation (GraMoT 2010), vol.\u00a030. ECEASST (2010). doi:\n                    10.14279\/tuj.eceasst.30.404","DOI":"10.14279\/tuj.eceasst.30.404"},{"issue":"1","key":"587_CR31","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1109\/52.976937","volume":"19","author":"A Hall","year":"2002","unstructured":"Hall, A., Chapman, R.: Correctness by construction: developing a commercial secure system. IEEE Softw. 19(1), 18\u201325 (2002). doi:\n                    10.1109\/52.976937","journal-title":"IEEE Softw."},{"key":"587_CR32","unstructured":"Hausmann, J.H., Heckel, R., Sauer, S.: Extended model relations with graphical consistency conditions. In: Proceeddings of the Workshop on Consistency Problems in UML-based Software Development (UML 2002), Blekinge Institute of Technology, Research Report 2002:06, pp. 61\u201374. Department of Software Engineering and Computer Science, Blekinge Institute of Technology (2002). \n                    http:\/\/www.db.informatik.uni-bremen.de\/umlbib\/conf\/WRKUML2002CP.html"},{"key":"587_CR33","doi-asserted-by":"publisher","unstructured":"Heckel, R., Wagner, A.: Ensuring consistency of conditional graph rewriting\u2014a constructive approach. In: Proceedings of the Joint COMPUGRAPH\/SEMAGRAPH Workshop, ENTCS, vol.\u00a02, pp. 118\u2013126. Elsevier, Amsterdam (1995). doi:\n                    10.1016\/S1571-0661(05)80188-4","DOI":"10.1016\/S1571-0661(05)80188-4"},{"key":"587_CR34","doi-asserted-by":"publisher","unstructured":"Hermann, F., Gottmann, S., Nachtigall, N., Braatz, B., Morelli, G., Pierre, A., Engel, T.: Model Transformation. In: Proceedings of the International Conference on Model Transformation (ICMT 2013), chap. On an Automated Translation of Satellite Procedures Using Triple Graph Grammars, pp. 50\u201351. Springer, New York (2013). doi:\n                    10.1007\/978-3-642-38883-5_4","DOI":"10.1007\/978-3-642-38883-5_4"},{"issue":"4","key":"587_CR35","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1109\/MWC.2013.6590054","volume":"20","author":"D Hiranandani","year":"2013","unstructured":"Hiranandani, D., Obraczka, K., Garcia-Luna-Aceves, J.J.: MANET protocol simulations considered harmful: the case for benchmarking. IEEE Wirel. Commun. 20(4), 82\u201390 (2013). doi:\n                    10.1109\/MWC.2013.6590054","journal-title":"IEEE Wirel. Commun."},{"key":"587_CR36","doi-asserted-by":"publisher","unstructured":"Jacob, R., Richa, A., Scheideler, C., Schmid, S., T\u00e4ubig, H.: A distributed polylogarithmic time algorithm for self-stabilizing skip graphs. In: Proceedings of the ACM Symposium on Principles of Distributed Computing (PODC 2009), pp. 131\u2013140. ACM, New York (2009). doi:\n                    10.1145\/1582716.1582741","DOI":"10.1145\/1582716.1582741"},{"key":"587_CR37","doi-asserted-by":"publisher","unstructured":"Jelasity, M.: Gossip. In: Self-organising Software: From Natural to Artificial Adaptation, pp. 139\u2013162. Springer, New York (2011). doi:\n                    10.1007\/978-3-642-17348-6_7","DOI":"10.1007\/978-3-642-17348-6_7"},{"key":"587_CR38","unstructured":"Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E., Peterson, S.A.: Feature-Oriented Domain Analysis (FODA) Feasibility Study. Tech. rep., Software Engineering Institute, Carnegie-Mellon University (1990). \n                    https:\/\/resources.sei.cmu.edu\/library\/asset-view.cfm?assetid=11231\n                    \n                  . CMU\/SEI-90-TR-21, ESD-90-TR-222"},{"key":"587_CR39","doi-asserted-by":"publisher","unstructured":"Karp, B., Kung, H.T.: GPSR: Greedy perimeter stateless routing for wireless networks. In: Proceedings of the 6th Annual International Conference on Mobile Computing and Networking (MobiCom 2000), pp. 243\u2013254. ACM, New York (2000). doi:\n                    10.1145\/345910.345953","DOI":"10.1145\/345910.345953"},{"key":"587_CR40","doi-asserted-by":"publisher","unstructured":"Katelman, M., Meseguer, J., Hou, J.: Redesign of the LMST Wireless Sensor Protocol through Formal Modeling and Statistical Model Checking. In: Proceedings of the International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2008), LNCS, vol. 5051, pp. 150\u2013169. Springer, New York (2008). doi:\n                    10.1007\/978-3-540-68863-1_10","DOI":"10.1007\/978-3-540-68863-1_10"},{"key":"587_CR41","unstructured":"Khemapech, I., Miller, A., Duncan, I.: A survey of transmission power control in wireless sensor networks. In: Proceedings of the 8th Annual Postgraduate Symposium on the Convergence of Telecommunications, Networking and Broadcasting (PGNet9s, pp. 15\u201320 (2007). \n                    http:\/\/www.cms.livjm.ac.uk\/pgnet2007\/Proceedings\/"},{"key":"587_CR42","doi-asserted-by":"publisher","unstructured":"Kluge, R., Stein, M., Varr\u00f3, G., Sch\u00fcrr, A., M\u00fchlh\u00e4user, M., Hollick, M.: A systematic approach to constructing incremental topology control algorithms using graph transformation. J. Visual Lang. Comput. (2016). doi:\n                    10.1016\/j.jvlc.2016.10.003","DOI":"10.1016\/j.jvlc.2016.10.003"},{"key":"587_CR43","doi-asserted-by":"publisher","unstructured":"Kluge, R., Varr\u00f3, G., Sch\u00fcrr, A.: A methodology for designing dynamic topology control algorithms via graph transformation. In: Model Transformation, Proceedings of the International Conference on Model Transformation (ICMT 2015), LNCS, vol. 9152, pp. 199\u2013213. Springer International Publishing, New York (2015). doi:\n                    10.1007\/978-3-319-21155-8_15","DOI":"10.1007\/978-3-319-21155-8_15"},{"issue":"3","key":"587_CR44","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1145\/545186.545191","volume":"5","author":"M Koch","year":"2002","unstructured":"Koch, M., Mancini, L.V., Parisi-Presicce, F.: A graph-based formalism for RBAC. ACM Trans. Inf. Syst. Secur. 5(3), 332\u2013365 (2002). doi:\n                    10.1145\/545186.545191","journal-title":"ACM Trans. Inf. Syst. Secur."},{"key":"587_CR45","doi-asserted-by":"publisher","unstructured":"Kulcs\u00e1r, G., Stein, M., Schweizer, I., Varr\u00f3, G., M\u00fchlh\u00e4user, M., Sch\u00fcrr, A.: Rapid prototyping of topology control algorithms by graph transformation. In: Proceedings of the Internationall Workshop on Graph-Based Tools (GraBaTs 2014), ECEASST, vol.\u00a068, pp. 1\u201315 (2014). doi:\n                    10.14279\/tuj.eceasst.68.957","DOI":"10.14279\/tuj.eceasst.68.957"},{"issue":"4","key":"587_CR46","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1145\/1096166.1096174","volume":"9","author":"S Kurkowski","year":"2005","unstructured":"Kurkowski, S., Camp, T., Colagrosso, M.: MANET simulation studies: the incredibles. SIGMOBILE Mob. Comput. Commun. Rev. 9(4), 50\u201361 (2005). doi:\n                    10.1145\/1096166.1096174","journal-title":"SIGMOBILE Mob. Comput. Commun. Rev."},{"key":"587_CR47","doi-asserted-by":"publisher","unstructured":"Leblebici, E., Anjorin, A., Sch\u00fcrr, A.: Developing eMoflon with eMoflon. In: Model Transformation, Proceedings of the International Conference on Model Transformation (ICMT 2014), LNCS, vol. 8568, pp. 138\u2013145. Springer, New York (2014). doi:\n                    10.1007\/978-3-319-08789-4_10","DOI":"10.1007\/978-3-319-08789-4_10"},{"key":"587_CR48","doi-asserted-by":"publisher","unstructured":"van der Linden, F., Schmid, K., Rommes, E.: Software Product Lines in Action, 1 edn. Springer, New York (2007). doi:\n                    10.1007\/978-3-540-71437-8","DOI":"10.1007\/978-3-540-71437-8"},{"key":"587_CR49","doi-asserted-by":"publisher","unstructured":"Martins, F., Lopes, L., Barros, J.A.: Towards the safe programming of wireless sensor networks. In: Proceedings of the Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (EPTCS 2009), vol.\u00a017, pp. 49\u201362. Open Publishing Association (2010). doi:\n                    10.4204\/EPTCS.17.5","DOI":"10.4204\/EPTCS.17.5"},{"key":"587_CR50","doi-asserted-by":"publisher","unstructured":"Mayerhofer, T., Langer, P., Kappel, G.: A Runtime Model for fUML. In: Proceedings of the Workshop on Models@Run.Time (MRT 2012), pp. 53\u201358. ACM, New York, NY (2012). doi:\n                    10.1145\/2422518.2422527","DOI":"10.1145\/2422518.2422527"},{"key":"587_CR51","unstructured":"Mori, S., Umedu, T., Hiromori, A., Yamaguchi, H., Higashino, T.: Data-centric programming environment for cooperative applications in WSN. In: Proceedings of the IFIP\/IEEE Intl. Symposium on Integrated Network Management (IM 2013), pp. 856\u2013859 (2013)"},{"key":"587_CR52","volume-title":"The Art of Software Testing","author":"GJ Myers","year":"2011","unstructured":"Myers, G.J., Sandler, C., Badgett, T.: The Art of Software Testing. Wiley, New York (2011)"},{"key":"587_CR53","doi-asserted-by":"publisher","unstructured":"Ortiz, O., Garc\u00eda, A.B., Capilla, R., Bosch, J., Hinchey, M.: Runtime variability for dynamic reconfiguration in wireless sensor network product lines. In: Proceedings of the 16th International Software Product Line Conference, vol. 2 (SPLC 2012), pp. 143\u2013150. ACM, New York, NY (2012). doi:\n                    10.1145\/2364412.2364436","DOI":"10.1145\/2364412.2364436"},{"key":"587_CR54","doi-asserted-by":"publisher","unstructured":"Pohl, K., B\u00f6ckle, G., van der Linden, F.: Software Product Line Engineering, 1st edn. Springer, New York (2005). doi:\n                    10.1007\/3-540-28901-1","DOI":"10.1007\/3-540-28901-1"},{"key":"587_CR55","doi-asserted-by":"publisher","unstructured":"Portocarrero, J.M.T., Delicato, F.C., Pires, P.F., Batista, T.V.: Reference architecture for self-adaptive management in wireless sensor networks. In: Proceedings of the International Conference on Adaptive and Intelligent Systems (ICAIS 2014), pp. 110\u2013120. Springer, Cham (2014). doi:\n                    10.1007\/978-3-319-11298-5_12","DOI":"10.1007\/978-3-319-11298-5_12"},{"key":"587_CR56","doi-asserted-by":"publisher","unstructured":"Potop-Butucaru, D., Caillaud, B.: Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications. In: Proceedings of the International Conference on Application of Concurrency to System Design (ACSD 2005) pp. 48\u201357 (2005). doi:\n                    10.1109\/ACSD.2005.10","DOI":"10.1109\/ACSD.2005.10"},{"issue":"1","key":"587_CR57","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1109\/COMST.2014.2345792","volume":"17","author":"J Qadir","year":"2015","unstructured":"Qadir, J., Hasan, O.: Applying formal methods to networking: theory, techniques, and applications. IEEE Commun. Surv. Tutor. 17(1), 256\u2013291 (2015). doi:\n                    10.1109\/COMST.2014.2345792","journal-title":"IEEE Commun. Surv. Tutor."},{"key":"587_CR58","doi-asserted-by":"publisher","unstructured":"Quinton, C., Romero, D., Duchien, L.: Cardinality-based feature models with constraints: a pragmatic approach. In: Proceedings of the International Software Product Line Conference (SPLC 2013), pp. 162\u2013166. ACM, New York, NY (2013). doi:\n                    10.1145\/2491627.2491638","DOI":"10.1145\/2491627.2491638"},{"key":"587_CR59","unstructured":"Radke, H.: Weakest Liberal Preconditions relative to HR* Graph Conditions. In: Proceedings of the International Workshop on Graph Computation Models (GCM 2010), pp. 165\u2013178 (2010). \n                    http:\/\/formale-sprachen.informatik.uni-oldenburg.de\/~skript\/fs-pub\/Radk10b.pdf"},{"key":"587_CR60","doi-asserted-by":"publisher","unstructured":"Rensink, A., Schmidt, A., Varr\u00f3, D.: Model checking graph transformations: A comparison of two approaches. In: Graph Transformations, Proceedings of the International Conference on Graph Transformation (ICGT 2004), LNCS, vol. 3256, pp. 226\u2013241. Springer, New York (2004). doi:\n                    10.1007\/978-3-540-30203-2_17","DOI":"10.1007\/978-3-540-30203-2_17"},{"key":"587_CR61","doi-asserted-by":"publisher","unstructured":"Richerzhagen, B., Stingl, D., R\u00fcckert, J., Steinmetz, R.: Simonstrator: Simulation and prototyping platform for distributed mobile applications. In: Proceedings of the International Conference on Simulation Tools and Techniques (SIMUTools \u201915), pp. 99\u2013108. ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering) (2015). doi:\n                    10.4108\/eai.24-8-2015.2261064","DOI":"10.4108\/eai.24-8-2015.2261064"},{"issue":"8","key":"587_CR62","doi-asserted-by":"publisher","first-page":"1333","DOI":"10.1109\/49.779917","volume":"17","author":"V Rodoplu","year":"1999","unstructured":"Rodoplu, V., Meng, T.H.: Minimum energy mobile wireless networks. IEEE J. Sel. Areas Commun. 17(8), 1333\u20131344 (1999). doi:\n                    10.1109\/49.779917","journal-title":"IEEE J. Sel. Areas Commun."},{"key":"587_CR63","doi-asserted-by":"publisher","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformation, vol. 1: Foundations. World Scientific, Singapore (1997). doi:\n                    10.1142\/3303","DOI":"10.1142\/3303"},{"key":"587_CR64","doi-asserted-by":"publisher","unstructured":"Saller, K., Lochau, M., Reimund, I.: Context-aware DSPLs: Model-based runtime adaptation for resource-constrained systems. In: Proceedings of the International fSoftware Product Line Conference Co-located Workshops (SPLC 2013 Workshops), pp. 106\u2013113. ACM, New York, NY (2013). doi:\n                    10.1145\/2499777.2500716","DOI":"10.1145\/2499777.2500716"},{"key":"587_CR65","doi-asserted-by":"publisher","unstructured":"Saller, K., Oster, S., Sch\u00fcrr, A., Schroeter, J., Lochau, M.: Reducing feature models to improve runtime adaptivity on resource limited devices. In: Proceedings of the International Software Product Line Conference - vol. 2 (SPLC 2012), pp. 135\u2013142. ACM, New York, NY (2012). doi:\n                    10.1145\/2364412.2364435","DOI":"10.1145\/2364412.2364435"},{"issue":"2","key":"587_CR66","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1145\/1089733.1089736","volume":"37","author":"P Santi","year":"2005","unstructured":"Santi, P.: Topology control in wireless ad hoc and sensor networks. ACM Comput. Surv. (CSUR) 37(2), 164\u2013194 (2005). doi:\n                    10.1145\/1089733.1089736","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"587_CR67","doi-asserted-by":"publisher","unstructured":"Schnabel, T., Weckesser, M., Kluge, R., Lochau, M., Sch\u00fcrr, A.: CardyGAn: tool support for cardinality-based feature models. In: Proceedings of the International Workshop on Variability Modelling of Software-intensive Systems (VaMoS 2016), pp. 33\u201340 (2016). doi:\n                    10.1145\/2866614.2866619","DOI":"10.1145\/2866614.2866619"},{"key":"587_CR68","doi-asserted-by":"publisher","unstructured":"Schroeter, J., Mucha, P., Muth, M., Jugel, K., Lochau, M.: Dynamic configuration management of cloud-based applications. In: Proceedings of the International Software Product Line Conference (SPLC 2012), pp. 171\u2013178. ACM, New York, NY (2012). doi:\n                    10.1145\/2364412.2364441","DOI":"10.1145\/2364412.2364441"},{"key":"587_CR69","doi-asserted-by":"publisher","unstructured":"Schweizer, I., Wagner, M., Bradler, D., M\u00fchlh\u00e4user, M., Strufe, T.: kTC - Robust and Adaptive Wireless Ad-Hoc Topology Control. In: Proceedings of the International Conference on Computer Communications and Networks (ICCCN 2012), pp. 1\u20139 (2012). doi:\n                    10.1109\/ICCCN.2012.6289318","DOI":"10.1109\/ICCCN.2012.6289318"},{"key":"587_CR70","doi-asserted-by":"publisher","unstructured":"Stein, M., Kulcs\u00e1r, G., Schweizer, I., Varr\u00f3, G., Sch\u00fcrr, A., M\u00fchlh\u00e4user, M.: Topology Control with Application Constraints. In: Proceedings of the International Conference on Local Computer Networks (LCN 2015), pp. 438\u2013441 (2015). doi:\n                    10.1109\/LCN.2015.7366313","DOI":"10.1109\/LCN.2015.7366313"},{"key":"587_CR71","doi-asserted-by":"publisher","unstructured":"Stein, M., Petry, T., Schweizer, I., Bachmann, M., M\u00fchlh\u00e4user, M.: Topology control in wireless sensor networks: what blocks the breakthrough? In: Proceedings of the International Conference on Local Computer Networks (LCN 2016), pp. 1\u20139 (2016). doi:\n                    10.1109\/LCN.2016.67","DOI":"10.1109\/LCN.2016.67"},{"key":"587_CR72","unstructured":"Steinberg, D., Budinsky, F., Merks, E., Paternostro, M.: EMF: Eclipse Modeling Framework. Pearson Education, Upper Saddle River (2008)"},{"key":"587_CR73","doi-asserted-by":"publisher","unstructured":"Stingl, D., Gross, C., R\u00fcckert, J., Nobach, L., Kovacevic, A., Steinmetz, R.: PeerfactSim.KOM: A simulation framework for peer-to-peer systems. In: Proceedings of the International Conference on High Performance Computing and Simulation (HPCS 2011), pp. 577\u2013584. IEEE (2011). doi:\n                    10.1109\/HPCSim.2011.5999877","DOI":"10.1109\/HPCSim.2011.5999877"},{"key":"587_CR74","doi-asserted-by":"publisher","unstructured":"Str\u00fcber, D., Rubin, J., Arendt, T., Chechik, M., Taentzer, G., Pl\u00f6ger, J.: RuleMerger: automatic construction of variability-based model transformation rules. In: Proceedings of Fundamental Approaches to Software Engineering (FASE 2016), pp. 122\u2013140. Springer, New York (2016). doi:\n                    10.1007\/978-3-662-49665-7_8","DOI":"10.1007\/978-3-662-49665-7_8"},{"key":"587_CR75","doi-asserted-by":"publisher","unstructured":"Str\u00fcber, D., Rubin, J., Chechik, M., Taentzer, G.: A variability-based approach to reusable and efficient model transformations. In: Proceedings of Fundamental Approaches to Software Engineering (FASE 2015), pp. 283\u2013298. Springer, New York (2015). doi:\n                    10.1007\/978-3-662-46675-9_19","DOI":"10.1007\/978-3-662-46675-9_19"},{"key":"587_CR76","doi-asserted-by":"publisher","unstructured":"Str\u00fcber, D., Schulz, S.: A tool environment for managing families of model transformation rules. In: Graph Transformations, Proceedings of the International Conference on Graph Transformation (ICGT 2016), pp. 89\u2013101. Springer, New York (2016). doi:\n                    10.1007\/978-3-319-40530-8_6","DOI":"10.1007\/978-3-319-40530-8_6"},{"key":"587_CR77","doi-asserted-by":"publisher","unstructured":"Taentzer, G., Goedicke, M., Meyer, T.: Dynamic change management by distributed graph transformation: towards configurable distributed systems. In: Proceedings of the International Workshop on Theory and Application of Graph Transformations (TAGT 2000), pp. 179\u2013193. Springer, New York (2000). doi:\n                    10.1007\/978-3-540-46464-8_13","DOI":"10.1007\/978-3-540-46464-8_13"},{"key":"587_CR78","unstructured":"Valente, B., Martins, F.: A middleware framework for the internet of things. In: Proceedings of the Internatiional Conference on Advances in Future Internet, pp. 139\u2013144. ThinkMind Digital Library (2011)"},{"key":"587_CR79","volume-title":"Model-Driven Software Development: Technology, Engineering, Management","author":"M V\u00f6lter","year":"2013","unstructured":"V\u00f6lter, M., Stahl, T., Bettin, J., Haase, A., Helsen, S.: Model-Driven Software Development: Technology, Engineering, Management. Wiley, New York (2013)"},{"key":"587_CR80","doi-asserted-by":"publisher","unstructured":"Wang, Y.: Topology control for wireless sensor networks. In: Wireless Sensor Networks and Applications, Signals and Communication Technology, pp. 113\u2013147. Springer, New York (2008). doi:\n                    10.1007\/978-0-387-49592-7_5","DOI":"10.1007\/978-0-387-49592-7_5"},{"key":"587_CR81","doi-asserted-by":"publisher","unstructured":"Wattenhofer, R., Zollinger, A.: XTC: a practical topology control algorithm for ad-hoc networks. In: Proceedings of the International Parallel and Distributed Processing Symposium (IPDPS 2004), pp. 216\u2013223. IEEE (2004). doi:\n                    10.1109\/IPDPS.2004.1303248","DOI":"10.1109\/IPDPS.2004.1303248"},{"key":"587_CR82","doi-asserted-by":"publisher","unstructured":"Weckesser, M., Lochau, M., Schnabel, T., Richerzhagen, B., Sch\u00fcrr, A.: Mind the gap! Automated anomaly detection for potentially unbounded cardinality-based feature models. In: Proceedings of Fundamental Approaches to Software Engineering (FASE 2016), pp. 158\u2013175. Springer, New York (2016). doi:\n                    10.1007\/978-3-662-49665-7_10","DOI":"10.1007\/978-3-662-49665-7_10"},{"key":"587_CR83","unstructured":"Winter, T.: RPL: IPv6 routing protocol for low-power and lossy networks. IETF RFC 6550 (2012). \n                    https:\/\/tools.ietf.org\/html\/rfc6550"},{"issue":"4","key":"587_CR84","doi-asserted-by":"publisher","first-page":"721","DOI":"10.1137\/0211059","volume":"11","author":"ACC Yao","year":"1982","unstructured":"Yao, A.C.C.: On constructing minimum spanning trees in k-dimensional spaces and related problems. SIAM J. Comput. 11(4), 721\u2013736 (1982). doi:\n                    10.1137\/0211059","journal-title":"SIAM J. Comput."},{"key":"587_CR85","doi-asserted-by":"publisher","unstructured":"Zave, P.: Understanding SIP through Model-Checking. In: Principles, Systems and Applications of IP Telecommunications. Services and Security for Next Generation Networks, LNCS, vol. 5310, pp. 256\u2013279. Springer, New York (2008). doi:\n                    10.1007\/978-3-540-89054-6_13","DOI":"10.1007\/978-3-540-89054-6_13"},{"issue":"2","key":"587_CR86","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1145\/2185376.2185383","volume":"42","author":"P Zave","year":"2012","unstructured":"Zave, P.: Using lightweight modeling to understand chord. SIGCOMM Comput. Commun. Rev. 42(2), 49\u201357 (2012). doi:\n                    10.1145\/2185376.2185383","journal-title":"SIGCOMM Comput. Commun. Rev."},{"issue":"4","key":"587_CR87","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1109\/TCOM.1980.1094702","volume":"28","author":"H Zimmermann","year":"1980","unstructured":"Zimmermann, H.: OSI reference model-the ISO model of architecture for open systems interconnection. IEEE Trans. Commun. 28(4), 425\u2013432 (1980). doi:\n                    10.1109\/TCOM.1980.1094702","journal-title":"IEEE Trans. Commun."}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-017-0587-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-017-0587-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-017-0587-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,23]],"date-time":"2019-02-23T02:21:10Z","timestamp":1550888470000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-017-0587-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,3,8]]},"references-count":87,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2019,2]]}},"alternative-id":["587"],"URL":"https:\/\/doi.org\/10.1007\/s10270-017-0587-8","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2017,3,8]]},"assertion":[{"value":"4 July 2016","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 November 2016","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 February 2017","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 March 2017","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}