Software (theme 1)
Software & Systems Modeling
Computer Security

Arbab, F, Baier, C, de Boer, F.S, & Rutten, J.J.M.M. (2007). Models and temporal logical specifications for timed component connectors. Software & Systems Modeling, 6(1), 59–82.