On the usability of process algebra: An architectural view - Aldini, Alessandro; Bernardo, Marco (Theoretical Computer Science, 2005)