1. [n. d.]. CoSMo: A tool for computing assumption and strategy templates as contracted strategy masks for both players in two-objective parity games. github.com/satya2009rta/cosmo [Accessed 10-04-2024].
2. Martín Abadi and Leslie Lamport. 1990. Composing specifications. In Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness, J. W. de Bakker, W. P. de Roever, and G. Rozenberg (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 1–41.
3. Rajeev Alur. 2015. Principles of cyber-physical systems. MIT press.
4. Compositional and symbolic synthesis of reactive controllers for multi-agent systems
5. Ashwani Anand, Kaushik Mallik, Satya Prakash Nayak, and Anne-Kathrin Schmuck. 2023. Computing Adequately Permissive Assumptions for Synthesis. In Tools and Algorithms for the Construction and Analysis of Systems, Sriram Sankaranarayanan and Natasha Sharygina (Eds.). Springer Nature Switzerland, Cham, 211–228.