Krüger S, Späth J, Ali K, Bodden E, Mezini M. CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs. IEEE Transactions on Software Engineering. Published online 2019:1-1. doi:10.1109/TSE.2019.2948910

Lohan KS, Griffiths S, Sciutti A, Partmann TC, Rohlfing K. Co-development of manner and path concepts in language, action, and eye-gaze behavior. Topics in Cognitive Science. 2014;6(3):492-512. doi:10.1111/tops.12098

Mischkalla F, Müller W. Efficient Power-Intent Validation Using “Loosely-Timed”10.1109/PATMOS.2013.6662171__Simulation Models: A Non-Invasive Approach. In: IEEE; 2013. doi:10.1109/PATMOS.2013.6662171

Pottebaum J, Japs AM, Prödel S, Koch R. Design and modeling of a domain ontology for fire protection. In: French S, Tomaszewski B, Zobel C, eds. ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management. ; 2010.