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. In Proceedings of International Workshop on Formal Aspects of Component Software (FACS) (pp. 20–56). Springer. doi:10.1007/978-3-642-35743-5_11