Susanna Donatelli Peter Kemper Integrating synchronization with priority into a Kronecker representation. 73-96 2001 44 Perform. Eval. 1-4 db/journals/pe/pe44.html#DonatelliK01 http://dx.doi.org/10.1016/S0166-5316(00)00060-2