Using temporal logic for modular specification of telephone services. - Johan Blom; Bengt Jonsson 001; Lars Kempe (FIW, 1994)

Verifying Safety Properties of a Class of Infinite-State Distributed Algorithms. - Bengt Jonsson 001; Lars Kempe (CAV, 1995)

Automatic Detection of Feature Interactions in Temporal Logic. - Johan Blom; Roland N. Bol; Lars Kempe (FIW, 1995)