Graphical modeling and simulation of discrete-event systems with CD++Builder. (January 2013)