Sarah-Jane Whittaker Mohammad Zulkernine Karen Rudie Towards Incorporating Discrete-Event Systems in Secure Software Development. 1188-1195 2008 ARES http://doi.ieeecomputersociety.org/10.1109/ARES.2008.70 conf/IEEEares/2008 db/conf/IEEEares/ares2008.html#WhittakerZR08