Motorola	-   The Synchronization definition needs to clarify this particularly wrt to processing @cross events after the time step has converged ( see accept step (figure 9.1)) Related issue:  differences between handling @timer and @cross in a mixed-signal synchronization time step. @timer is processed during the timestep, while @cross is processed after the time step has converged (post Step)    
National	- See Issue #5 && Mixed Signal Scheduling Semantics PDF