Springer
doi.org/10.1007/978-3-642-35743-5_11
International Workshop on Formal Aspects of Component Software
Computer Security

Jaghoori, M. M., Hlynsson, O.& Sirjani, M. (2011). Networks of Real-Time Actors: Schedulability Analysis and Coordination. Proceedings of International Workshop on Formal Aspects of Component Software (FACS), 20–56.https://doi.org/10.1007/978-3-642-35743-5_11