{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,14]],"date-time":"2025-03-14T04:20:33Z","timestamp":1741926033260,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":90,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642249327"},{"type":"electronic","value":"9783642249334"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-24933-4_7","type":"book-chapter","created":{"date-parts":[[2011,10,29]],"date-time":"2011-10-29T08:11:49Z","timestamp":1319875909000},"page":"110-143","source":"Crossref","is-referenced-by-count":13,"title":["Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-Term Vision"],"prefix":"10.1007","author":[{"given":"Mark-Oliver","family":"Stehr","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carolyn","family":"Talcott","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Rushby","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pat","family":"Lincoln","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Minyoung","family":"Kim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steven","family":"Cheung","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andy","family":"Poggio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"http:\/\/runtime-verification.org\/"},{"key":"7_CR2","unstructured":"http:\/\/www.ai.sri.com\/~stickel\/snark.html\/"},{"key":"7_CR3","unstructured":"PCE User Guide, Version 1.0. Technical manual, Computer Science Laboratory, SRI International (July 2009)"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Akyildiz, I.F., Kasimoglu, I.H.: Wireless sensor and actor networks: Research challenges. Ad Hoc Networks\u00a02(4), 351\u2013367 (2004)","DOI":"10.1016\/j.adhoc.2004.04.003"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Belhaouari, H., Peschanski, F.: A lightweight container architecture for runtime verification. In: Leucker, M. (ed.) RV 2008. LNCS, vol.\u00a05289, pp. 173\u2013187. Springer, Heidelberg (2008)","DOI":"10.1007\/978-3-540-89247-2_11"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Barringer, H., Goldberg, A., Havelund, K., Sen, K.: Rule-based runtime verification. In: Steffen, B., Levi, G. (eds.) VMCAI 2004. LNCS, vol.\u00a02937, pp. 44\u201357. Springer, Heidelberg (2004)","DOI":"10.1007\/978-3-540-24622-0_5"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Bloomfield, R.E., Littlewood, B., Wright, D.: Confidence: Its role in dependability cases for risk assessment. In: 37th Annual IEEE\/IFIP Int. Conf. Dependable Systems and Networks, DSN 2007, pp. 338\u2013346 (2007)","DOI":"10.1109\/DSN.2007.29"},{"key":"7_CR8","unstructured":"Blochinger, W.: Towards robustness in parallel SAT solving. In: Parallel Computing: Current & Future Issues of High-End Computing, Proc. Int. Conf. ParCo 2005, pp. 301\u2013308 (2005)"},{"key":"7_CR9","unstructured":"Brown, O., Eremenko, P.: Fractionated space architectures: A vision for responsive space. In: 4th Responsive Space Conf. (2006)"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Burleigh, S.: Interplanetary overlay network: An implementation of the DTN bundle protocol. In: Consumer Communications and Networking Conf. (2007)","DOI":"10.1109\/CCNC.2007.51"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Watterson, C., Heffernan, D.: Runtime verification and monitoring of embedded systems. IET Software\u00a01(5), 172\u2013179 (2007)","DOI":"10.1049\/iet-sen:20060076"},{"key":"7_CR12","unstructured":"Chen, L., Avizienis. A.: N-version programming: A fault-tolerance approach to reliability of software operation. In: Twenty-Fifth International Symposium on Fault-Tolerant Computing, 1995, \u2018Highlights from Twenty-Five Years\u2019 (1995)"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Cherkassky, V., Mulier, F.M.: Learning from Data: Concepts, Theory, and Methods, 2nd edn. Wiley-IEEE Press (2007)","DOI":"10.1002\/9780470140529"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Chrabakh, W., Wolski, R.: GridSAT: A Chaff-based distributed SAT solver for the Grid. In: SC 2003: Proc. 2003 ACM\/IEEE Conf. Supercomputing, p. 37. IEEE Computer Society, Washington (2003)","DOI":"10.1145\/1048935.1050188"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Clarke, E., Grumberg, O., Jha, S., Lu, Y., Veith, H.: Counterexample-guided abstraction refinement for symbolic model checking. J. ACM\u00a050(5), 752\u2013794 (2003)","DOI":"10.1145\/876638.876643"},{"key":"7_CR16","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: All About Maude - A High-Performance Logical Framework. How to Specify, Program and Verify Systems in Rewriting Logic. LNCS, vol.\u00a04350. Springer, Heidelberg (2007)"},{"key":"7_CR17","unstructured":"James, C.: Stochastic logic programs: Sampling, inference and applications. In: UAI 2000: Proc. 16th Conf. Uncertainty in Artificial Intelligence, pp. 115\u2013122. Morgan Kaufmann Publishers Inc., San Francisco (2000)"},{"key":"7_CR18","unstructured":"Denker, G., Talcott, C.L.: A formal framework for goal net analysis. In: Workshop on Verification and Validation of Planning Systems. AAAI (2005)"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Dressler, F.: Self-Organization in Sensor and Actor Networks. Wiley (2008)","DOI":"10.1002\/9780470724460"},{"key":"7_CR20","unstructured":"Dutertre, B., de Moura, L.: The YICES SMT solver (August 2006), tool paper http:\/\/yices.csl.sri.com\/tool-paper.pdf"},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"Dvorak, D., Rasmussen, R., Reeves, G., Sacks, A.: Software architecture themes in JPL\u2019s Mission Data System. In: IEEE Aerospace Conf. USA (2000)","DOI":"10.1109\/AERO.2000.879293"},{"key":"7_CR22","unstructured":"Adams, E.W.: A primer of probability logic. CSLI Publications (1998)"},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"Eker, S., Meseguer, J., Sridharanarayanan, A.: The Maude LTL Model Checker and Its Implementation. In: Ball, T., Rajamani, S.K. (eds.) SPIN 2003. LNCS, vol.\u00a02648, pp. 230\u2013234. Springer, Heidelberg (2003)","DOI":"10.1007\/3-540-44829-2_16"},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"Fagin, R., Halpern, J.Y., Megiddo, N.: A logic for reasoning about probabilities. Information and Computation\u00a087, 78\u2013128 (1990)","DOI":"10.1016\/0890-5401(90)90060-U"},{"key":"7_CR25","doi-asserted-by":"crossref","unstructured":"Farrell, S., Cahill, V.: Delay- and Disruption-Tolerant Networking. Artech House, Inc., Norwood (2006)","DOI":"10.1109\/MIC.2006.91"},{"key":"7_CR26","unstructured":"Gerkey, B.P., Mailler, R., Morisset, B.: Commbots: Distributed control of mobile communication relays. In: Proc. AAAI Workshop on Auction Mechanisms for Robot Coordination (AuctionBots), Boston, MA, pp. 51\u201357 (July 2006)"},{"key":"7_CR27","doi-asserted-by":"crossref","unstructured":"Goldsby, H.J., Cheng, B.H., Zhang, J.: AMOEBA-RT: run-time verification of adaptive software. In: Models in Software Engineering: Workshops and Symposia at MoDELS 2007, Reports and Revised Selected Papers, pp. 212\u2013224. Springer, Heidelberg (2008)","DOI":"10.1007\/978-3-540-69073-3_23"},{"key":"7_CR28","doi-asserted-by":"crossref","unstructured":"Goodloe, A., Gunter, C.A., Stehr, M.-O.: Formal prototyping in early stages of protocol design. In: Meadows, C. (ed.) Proc. POPL 2005 Workshop on Issues in the Theory of Security, WITS 2005, pp. 67\u201380 (2005)","DOI":"10.1145\/1045405.1045413"},{"key":"7_CR29","doi-asserted-by":"crossref","unstructured":"Gordon, D., Spears, W., Sokolsky, O., Lee, I.: Distributed spatial control, global monitoring and steering of mobile physical agents. In: Proc. IEEE Int. Conf. Information, Intelligence, and Systems, pp. 681\u2013688 (1999)","DOI":"10.1109\/ICIIS.1999.810365"},{"key":"7_CR30","unstructured":"Gottwald, S.: A Treatise on Many-Valued Logics. Research Studies Press (2001)"},{"key":"7_CR31","doi-asserted-by":"crossref","unstructured":"Susanne, G., Hassen, S.: Construction of abstract state graphs with PVS. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol.\u00a01254, pp. 72\u201383. Springer, Heidelberg (1997)","DOI":"10.1007\/3-540-63166-6_10"},{"key":"7_CR32","doi-asserted-by":"crossref","unstructured":"Gutierrez-Nolasco, S., Venkatasubramanian, N., Stehr, M.-O., Talcott, C.L.: Towards adaptive secure group communication: Bridging the gap between formal specification and network simulation. In: 12th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2006), December 18-20, pp. 113\u2013120. University of California, Riverside (2006)","DOI":"10.1109\/PRDC.2006.62"},{"key":"7_CR33","doi-asserted-by":"crossref","unstructured":"Guo, Z., Colombi, G., Wang, B., Cui, J.-H., Maggiorini, D., Rossi, G.P.: Adaptive Routing in Underwater Delay\/Disruption Tolerant Sensor Networks. In: Fifth IEEE\/IFIP Annual Conf. on Wireless On Demand Network Systems and Services, WONS 2008 (2008)","DOI":"10.1109\/WONS.2008.4459352"},{"key":"7_CR34","unstructured":"Kautz, H.: Satplan04: Planning as satisfiability. In: IPC4, ICAPS (2004)"},{"key":"7_CR35","doi-asserted-by":"crossref","unstructured":"Havelund, K.: Using runtime analysis to guide model checking of Java programs. In: Havelund, K., Penix, J., Visser, W. (eds.) SPIN 2000. LNCS, vol.\u00a01885, pp. 245\u2013264. Springer, Heidelberg (2000)","DOI":"10.1007\/10722468_15"},{"key":"7_CR36","doi-asserted-by":"crossref","unstructured":"Heras, F., Larrosa, J., Oliveras, A.: MiniMaxSat: A new weighted Max-SAT solver. In: Marques-Silva, J., Sakallah, K.A. (eds.) SAT 2007. LNCS, vol.\u00a04501, pp. 41\u201355. Springer, Heidelberg (2007)","DOI":"10.1007\/978-3-540-72788-0_8"},{"key":"7_CR37","unstructured":"http:\/\/xtune.ics.uci.edu"},{"key":"7_CR38","doi-asserted-by":"crossref","unstructured":"Intanagonwiwat, C., Govindan, R., Estrin, D., Heidemann, J., Silva, F.: Directed diffusion for wireless sensor networking. IEEE\/ACM Trans. Netw.\u00a011(1), 2\u201316 (2003)","DOI":"10.1109\/TNET.2002.808417"},{"key":"7_CR39","unstructured":"Ivancic, W., Eddy, W., Wood, L., Stewart, D., Jackson, C., Northam, J., da Silva Curiel, A.: Delay\/disruption-tolerant network testing using a LEO satellite. In: Eighth Annual NASA Earth Science Technology Conf. (2008)"},{"key":"7_CR40","doi-asserted-by":"crossref","unstructured":"Janakiram, V.K., Agrawal, D.P., Mehrotra, R.: A randomized parallel backtracking algorithm. IEEE Trans. Comput.\u00a037(12), 1665\u20131676 (1988)","DOI":"10.1109\/12.9745"},{"key":"7_CR41","unstructured":"Kautz, H., Selman, B.: Pushing the envelope: Planning, propositional logic, and stochastic search. In: Shrobe, H., Senator, T. (eds.) Proc. Thirteenth National Conf. Artificial Intelligence and the Eighth Innovative Applications of Artificial Intelligence Conf., pp. 1194\u20131201. AAAI Press, Menlo Park (1996)"},{"key":"7_CR42","doi-asserted-by":"crossref","unstructured":"Kim, M., Stehr, M.-O., Kim, J., Ha, S.: An application framework for loosely coupled networked cyber-physical systems. In: Proc. 8th IEEE Intl. Conf. on Embedded and Ubiquitous Computing, EUC 2010 (2010)","DOI":"10.1109\/EUC.2010.30"},{"key":"7_CR43","doi-asserted-by":"crossref","unstructured":"Kim, M., Stehr, M.-O., Talcott, C., Dutt, N., Venkatasubramanian, N.: Combining formal verification with observed system execution behavior to tune system parameters. In: Raskin, J.-F., Thiagarajan, P.S. (eds.) FORMATS 2007. LNCS, vol.\u00a04763, pp. 257\u2013273. Springer, Heidelberg (2007)","DOI":"10.1007\/978-3-540-75454-1_19"},{"key":"7_CR44","doi-asserted-by":"crossref","unstructured":"Kim, M., Stehr, M.-O., Talcott, C., Dutt, N., Venkatasubramanian, N.: A probabilistic formal analysis approach to cross layer optimization in distributed embedded systems. In: Bonsangue, M.M., Johnsen, E.B. (eds.) FMOODS 2007. LNCS, vol.\u00a04468, pp. 285\u2013300. Springer, Heidelberg (2007)","DOI":"10.1007\/978-3-540-72952-5_18"},{"key":"7_CR45","doi-asserted-by":"crossref","unstructured":"Kim, M., Talcott, C.L., Stehr, M.-O.: A distributed logic for networked cyber-physical systems. To appear in Proc. Intl. Conf. on Fundamentals of Software Engineering (FSEN 2011). LNCS (2011)","DOI":"10.1007\/978-3-642-29320-7_13"},{"key":"7_CR46","doi-asserted-by":"crossref","unstructured":"Kim, M., Stehr, M.-O., Talcott, C., Dutt, N., Venkatasubramanian, N.: Constraint refinement for online verifiable cross-layer system adaptation. In: DATE 2008: Proc. Design, Automation and Test in Europe Conference and Exposition (2008)","DOI":"10.1109\/DATE.2008.4484750"},{"key":"7_CR47","doi-asserted-by":"crossref","unstructured":"Kim, M., Viswanathan, M., Kannan, S., Lee, I., Sokolsky, O.: Java-mac: A run-time assurance approach for Java programs. Form. Methods Syst. Des.\u00a024(2), 129\u2013155 (2004)","DOI":"10.1023\/B:FORM.0000017719.43755.7c"},{"key":"7_CR48","doi-asserted-by":"crossref","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Probabilistic symbolic model checking with PRISM: A hybrid approach. Int. J. Softw. Tools Technol. Transf.\u00a06(2), 128\u2013142 (2004)","DOI":"10.1007\/s10009-004-0140-2"},{"key":"7_CR49","doi-asserted-by":"crossref","unstructured":"Larrosa, J., Heras, F., de Givry, S.: A logical approach to efficient max-sat solving. Artif. Intell.\u00a0172(2-3), 204\u2013233 (2008)","DOI":"10.1016\/j.artint.2007.05.006"},{"key":"7_CR50","doi-asserted-by":"crossref","unstructured":"Leucker, M.: Checking and enforcing safety: Runtime verification and runtime reflection. ERCIM News\u00a0(75), 35\u201336 (2008)","DOI":"10.1007\/978-3-540-89247-2"},{"key":"7_CR51","doi-asserted-by":"crossref","unstructured":"Leucker, M., Schallhart, C.: A brief account of runtime verification. Logic and Algebraic Programming\u00a078(5), 293\u2013303 (2009)","DOI":"10.1016\/j.jlap.2008.08.004"},{"key":"7_CR52","doi-asserted-by":"crossref","unstructured":"Li, X., Shu, W., Li, M., Huang, H., Wu, M.-Y.: DTN routing in vehicular sensor networks. In: Global Telecommunications Conf., IEEE GLOBECOM 2008i, pp. 1\u20135 (2008)","DOI":"10.1109\/GLOCOM.2008.ECP.150"},{"key":"7_CR53","doi-asserted-by":"crossref","unstructured":"Lowry, M.R., Philpot, A., Pressburger, T., Underwood, I.: A formal approach to domain-oriented software design environments. In: KBSE, pp. 48\u201357 (1994)","DOI":"10.1109\/KBSE.1994.342678"},{"key":"7_CR54","unstructured":"Lyu, M.R. (ed.): Software Fault Tolerance. John Wiley and Sons, Inc. (1995)"},{"key":"7_CR55","doi-asserted-by":"crossref","unstructured":"Maes, P.: Concepts and experiments in computational reflection. SIGPLAN Not.\u00a022(12), 147\u2013155 (1987)","DOI":"10.1145\/38807.38821"},{"key":"7_CR56","doi-asserted-by":"crossref","unstructured":"Mailler, R.: Using prior knowledge to improve distributed hill climbing. In: IAT 2006: Proc. IEEE\/WIC\/ACM Int. Conf. Intelligent Agent Technology, pp. 514\u2013521. IEEE Computer Society, Washington, DC (2006)","DOI":"10.1109\/IAT.2006.129"},{"key":"7_CR57","unstructured":"Mailler, R., Lesser, V.: Solving distributed constraint optimization problems using cooperative mediation. In: AAMAS 2004: Proc. Third Int. Joint Conf. Autonomous Agents and Multiagent Systems, pp. 438\u2013445. IEEE Computer Society, Washington, DC (2004)"},{"key":"7_CR58","doi-asserted-by":"crossref","unstructured":"Martonosi, M.: ZebraNet and beyond: Applications and systems support for mobile, dynamic networks. In: CASES 2008: Proc. 2008 Int. Conf. Compilers, Architectures and Synthesis for Embedded Systems, p. 21. ACM, New York (2008)","DOI":"10.1145\/1450095.1450096"},{"key":"7_CR59","unstructured":"Maude System, http:\/\/maude.csl.sri.com ."},{"key":"7_CR60","doi-asserted-by":"crossref","unstructured":"Modi, P.J., Tambe, M., Yokoo, M.: Adopt: Asynchronous distributed constraint optimization with quality guarantees. Artificial Intelligence\u00a0161, 149\u2013180 (2005)","DOI":"10.1016\/j.artint.2004.09.003"},{"key":"7_CR61","doi-asserted-by":"crossref","unstructured":"Murphy, A.L., Picco, G.P., Roman, G.-C.: Lime: A coordination model and middleware supporting mobility of hosts and agents. ACM Trans. Softw. Eng. Methodol.\u00a015(3), 279\u2013328 (2006)","DOI":"10.1145\/1151695.1151698"},{"key":"7_CR62","doi-asserted-by":"crossref","unstructured":"Muscetolla, N., Pandurang, P., Pell, B., Williams, B.: Remote Agent: To Boldly Go Where No AI System Has Gone Before. Artificial Intelligence\u00a0103(1-2), 5\u201348 (1998)","DOI":"10.1016\/S0004-3702(98)00068-X"},{"key":"7_CR63","unstructured":"Networked Cyber-Physcial Systems at SRI, http:\/\/ncps.csl.sri.com"},{"key":"7_CR64","doi-asserted-by":"crossref","unstructured":"Richardson, M., Domingos, P.: Markov logic networks. Machine Learning\u00a062, 107\u2013136 (2006)","DOI":"10.1007\/s10994-006-5833-1"},{"key":"7_CR65","unstructured":"Rosu, G., Havelund, K.: Monitoring Java programs with Java PathExplorer. In: Proc. Runtime Verification (RV), pp. 97\u2013114. Elsevier (2001)"},{"key":"#cr-split#-7_CR66.1","doi-asserted-by":"crossref","unstructured":"Rushby, J.: The design and verification of secure systems. In: Eighth ACM Symposium on Operating System Principles (SOSP), Asilomar, CA, pp. 12-21 (December 1981);","DOI":"10.1145\/800216.806586"},{"key":"#cr-split#-7_CR66.2","doi-asserted-by":"crossref","unstructured":"Rushby, J.: The design and verification of secure systems. In: Eighth ACM Symposium on Operating System Principles (SOSP), Asilomar, CA, pp. 12-21 (December 1981); ACM Operating Systems Review 15(5)","DOI":"10.1145\/1067627.806586"},{"key":"7_CR67","unstructured":"Rue\u00df, H., Shankar, N.: Introducing Cyberlogic (2003)"},{"key":"7_CR68","unstructured":"Rushby, J.: Partitioning for Avionics Architectures: Requirements, Mechanisms, and Assurance. NASA Contractor Report CR-1999-209347, NASA Langley Research Center (June 1999), also to be issued by the FAA as DOT\/FAA\/AR-99\/58 http:\/\/www.tc.faa.gov\/its\/worldpac\/techrpt\/ar99-58.pdf"},{"key":"7_CR69","unstructured":"Rushby, J.: Just-in-time certification. In: 12th IEEE Int. Conf. Engineering of Complex Computer Systems (ICECCS), Auckland, New Zealand, pp. 15\u201324. IEEE Computer Society (2007), http:\/\/www.csl.sri.com\/~rushby\/abstracts\/iceccs07"},{"key":"7_CR70","doi-asserted-by":"crossref","unstructured":"Sa\u00efdi, H., Shankar, N.: Abstract and model check while you prove. In: Halbwachs, N., Peled, D. (eds.) CAV 1999. LNCS, vol.\u00a01633, pp. 443\u2013454. Springer, Heidelberg (1999)","DOI":"10.1007\/3-540-48683-6_38"},{"key":"7_CR71","doi-asserted-by":"crossref","unstructured":"Rushby, J.: Software verification and system assurance (invited paper). SEFM (2009)","DOI":"10.1109\/SEFM.2009.39"},{"key":"7_CR72","doi-asserted-by":"crossref","unstructured":"Sen, K., Vardhan, A., Agha, G., Rosu, G.: Efficient decentralized monitoring of safety in distributed systems. In: 26th Int. Conf. Software Engineering (ICSE 2004), pp. 418\u2013427 (2004)","DOI":"10.1109\/ICSE.2004.1317464"},{"key":"7_CR73","doi-asserted-by":"crossref","unstructured":"Sen, K., Viswanathan, M., Agha, G.: Statistical model checking of black-box probabilistic systems. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol.\u00a03114, pp. 202\u2013215. Springer, Heidelberg (2004)","DOI":"10.1007\/978-3-540-27813-9_16"},{"key":"7_CR74","doi-asserted-by":"crossref","unstructured":"Stehr, M.-O., Kim, M., Talcott, C.: Toward distributed declarative control of networked cyber-physical systems. In: Yu, Z., Liscano, R., Chen, G., Zhang, D., Zhou, X. (eds.) UIC 2010. LNCS, vol.\u00a06406, pp. 397\u2013413. Springer, Heidelberg (2010)","DOI":"10.1007\/978-3-642-16355-5_32"},{"key":"7_CR75","doi-asserted-by":"crossref","unstructured":"Stehr, M.-O., Talcott, C.: Planning and learning algorithms for routing in disruption-tolerant networks. In: Proc. IEEE Military Communications Conference, MILCOM 2008 (2008)","DOI":"10.1109\/MILCOM.2008.4753336"},{"key":"7_CR76","doi-asserted-by":"crossref","unstructured":"Sutton, R.S., Barto, A.G.: Reinforcement Learning: An introduction. MIT Press (1998)","DOI":"10.1109\/TNN.1998.712192"},{"key":"7_CR77","doi-asserted-by":"crossref","unstructured":"Toorian, S., Diaz, K., Lee, S.: The CubeSet approach to space access. In: IEEE Aerospace Conf. (2008)","DOI":"10.1109\/AERO.2008.4526293"},{"key":"7_CR78","unstructured":"Torres-Pomales, W.: Software Fault Tolerance: A Tutorial. Technical report, NASA (October 2000)"},{"key":"7_CR79","doi-asserted-by":"crossref","unstructured":"Jacobson, V., Smetters, D.K., Thornton, J.D., Plass, M.F., Briggs, N., Braynard, R.: Networking named content. In: Fifth ACM Int. Conf. Emerging Networking EXperiments and Technologies, CoNEXT 2009 (2009)","DOI":"10.1145\/1658939.1658941"},{"key":"7_CR80","unstructured":"VeStA Tool, http:\/\/osl.cs.uiuc.edu\/~ksen\/vesta2"},{"key":"7_CR81","doi-asserted-by":"crossref","unstructured":"Wang, G., Zhou, H.: Quantitative logic. Inf. Sci.\u00a0179(3), 226\u2013247 (2009)","DOI":"10.1016\/j.ins.2008.09.008"},{"key":"7_CR82","doi-asserted-by":"crossref","unstructured":"Williams, B.C., Ingham, M., Chung, S.H., Elliott, P.H.: Model-based programming of intelligent embedded systems and robotic space explorers. Proc. IEEE\u00a091(3), 212\u2013237 (2003)","DOI":"10.1109\/JPROC.2002.805828"},{"key":"7_CR83","unstructured":"Williams, B.C., Pandurang Nayak, P.: A model-based approach to reactive self-configuring systems. In: Proc. AAAI 1996, pp. 971\u2013978 (1996)"},{"key":"7_CR84","unstructured":"XG Reasoner, http:\/\/www.springerlink.com\/content\/25021851k303tlu0"},{"key":"7_CR85","unstructured":"xTune Framework, http:\/\/xtune.ics.uci.edu"},{"key":"7_CR86","unstructured":"Yang, Y., Chen, X., Gopalakrishnan, G., Kirby, R.M.: Runtime Model Checking of Multithreaded C\/C++ Programs. Technical report, University of Utah (March 2007)"},{"key":"7_CR87","doi-asserted-by":"crossref","unstructured":"Yokoo, M.: Distributed constraint satisfaction: Foundations of cooperation in multi-agent systems. Springer, London (2001)","DOI":"10.1007\/978-3-642-59546-2"},{"key":"7_CR88","doi-asserted-by":"crossref","unstructured":"Younes, H.L.S., Simmons, R.G.: Statistical probabilistic model checking with a focus on time-bounded properties. Inf. Comput.\u00a0204(9), 1368\u20131409 (2006)","DOI":"10.1016\/j.ic.2006.05.002"},{"key":"7_CR89","doi-asserted-by":"crossref","unstructured":"Zhang, W., Wang, G., Xing, Z., Wittenburg, L.: Distributed stochastic search and distributed breakout: Properties, comparison and applications to constraint optimization problems in sensor networks. Artif. Intell.\u00a0161(1-2), 55\u201387 (2005)","DOI":"10.1016\/j.artint.2004.10.004"}],"container-title":["Lecture Notes in Computer Science","Formal Modeling: Actors, Open Systems, Biological Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24933-4_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,13]],"date-time":"2025-03-13T13:04:53Z","timestamp":1741871093000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24933-4_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642249327","9783642249334"],"references-count":90,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24933-4_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}