1. The temporal logic of branching time;Ben-Ari;Acta Inform.,1983
2. Verifying temporal properties of processes;Bradfield,1990
3. Automatic verification of sequential circuits using temporal logic;Browne;IEEE Trans. Comput.,1986
4. The formalization and analysis of a communications protocol;Bruns,1991
5. Design and synthesis of synchronisation skeletons using branching time temporal logic;Clarke,1981