Modeling and Execution of Complex Attack Scenarios using Interval Timed Colored Petri Nets. - Ole Martin Dahl; Stephen D. Wolthusen (IWIA, 2006)