Automatic Detection of Feature Interactions in Temporal Logic.
Johan Blom, Roland N. Bol, Lars Kempe · 1995
this paper; we give some hints on this topic in the final section. In the same section, we discuss how our current view of the system should be refined in order to arrive at the distributed telecommunication networks that exist in practice. 2 The Framework