From Reactive Systems to Cyber-Physical SystemsEzio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky · First published 2019Open the Tome
Tools and Algorithms for the Construction of Analysis of SystemsW. Rance Cleaveland · First published 1999Open the Tome
Concur '92: Third International Conference on Concurrency Theory, Stony Brook, Ny, Usa, August 1992W. Rance Cleaveland · First published 1992Open the Tome
