Model-Based Security Testing - Deriving Test Models from Artefacts of Security Engineering | IEEE Conference Publication | IEEE Xplore