Springer
Lecture Notes in Computer Science
International Conference on Formal Engineering Methods
Computer Security

de Boer, F., Grabe, I., Jaghoori, M. M., Stam, A., & Yi, W. (2009). Modeling and Analysis of Thread-Pools in an Industrial Communication Platform. In Proceedings of International Conference on Formal Engineering Methods 2009 (pp. 367–386). Springer.