Tools and techniques for the static verification of progress in communication-centred systems - Camacho, André Filipe Marinhas Henriques da Silva (2014)