Schedulability of bounded-rate multi-mode systems by Alur, R, Forejt, V, Moarref, S, Trivedi, A

A Toolset for Modelling and Verification of GALS Systems by Ramesh, S, Sonalkar, S, D'Silva, V, Chandra, N, Vijayalakshmi, B

Other Authors: “…Alur, R…”