Nina Yevtushenko Tiziano Villa Robert K. Brayton Alexandre Petrenko Alberto L. Sangiovanni-Vincentelli Compositionally Progressive Solutions of Synchronous FSM Equations. 51-89 2008 18 Discrete Event Dynamic Systems 1 http://dx.doi.org/10.1007/s10626-007-0031-2 db/journals/deds/deds18.html#YevtushenkoVBPS08