Modelling complex systems by separating application and security concerns | IEEE Conference Publication | IEEE Xplore