Designing Concurrent and Distributed Control Systems. - Aarsten, amund; Brugali, Davide; Menga, Giuseppe (Communications of the ACM, 1996)