Discrete Event Control Kit (DECK 1.2012.10) User Manual