Mohammad Zulkernine Mohammad Feroz Raihan Mohammad Gias Uddin Towards Model-Based Automatic Testing of Attack Scenarios. 229-242 2009 SAFECOMP http://dx.doi.org/10.1007/978-3-642-04468-7_19 conf/safecomp/2009 db/conf/safecomp/safecomp2009.html#ZulkernineRU09