A refinement-based development of a distributed signalling system
scientific article; zbMATH DE number 7455777