Elsevier
Electronic Notes in Theoretical Computer Science
Computer Security

Fecher, H., Kyas, M., de Roever, W. P., & de Boer, F. (2006). Compositional Operational Semantics of a UML-Kernel-Model language. Electronic Notes in Theoretical Computer Science, 156, 79–96.