Formal Development of Object-Based Systems in a Temporal Logic Setting. - Ercument Canver; Friedrich W. von Henke (FMOODS, 1999)

Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions. - Jie Xu 007; Brian Randell; Alexander B. Romanovsky; Robert J. Stroud; Avelino F. Zorzo; Ercument Canver; Friedrich W. von Henke (FTCS, 1999)

Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions. - Jie Xu 007; Brian Randell; Alexander B. Romanovsky; Robert J. Stroud; Avelino F. Zorzo; Ercument Canver; Friedrich W. von Henke (IEEE Trans. Computers, 2002)