Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-Term Vision.
Mark-Oliver StehrCarolyn L. TalcottJohn M. RushbyPatrick LincolnMinyoung KimSteven CheungAndy PoggioPublished in: Formal Modeling: Actors, Open Systems, Biological Systems (2011)