transition from global to modular temporal reasoning about programs. Logics and models of concurrent systems (1985)