1. Wieringa R. J. (2003). Design methods for reactive systems: Yourdon statemate and the UML. Elsevier. Wieringa R. J. (2003). Design methods for reactive systems: Yourdon statemate and the UML. Elsevier.
2. Kraemer F.A. 2008. Engineering Reactive Systems: A Compositional and Model-Driven Method Based on Collaborative Building Blocks. Doctoral thesis Norwegian University of Science and Technology Department of Telematics. Kraemer F.A. 2008. Engineering Reactive Systems: A Compositional and Model-Driven Method Based on Collaborative Building Blocks. Doctoral thesis Norwegian University of Science and Technology Department of Telematics.
3. Kathayat S.B. 2012. On the Development of Situated Collaborative Services. Doctoral thesis Norwegian University of Science and Technology Department of Telematics. Kathayat S.B. 2012. On the Development of Situated Collaborative Services. Doctoral thesis Norwegian University of Science and Technology Department of Telematics.
4. Fatima U. 2017. A modular method for High-level Service Specification and Component Design Derivation. Doctoral thesis Norwegian University of Science and Technology Department of Information Security and Communication Technology. Fatima U. 2017. A modular method for High-level Service Specification and Component Design Derivation. Doctoral thesis Norwegian University of Science and Technology Department of Information Security and Communication Technology.