A Process Algebraic Approach to Software Architecture Design - Aldini, Alessandro. (Springer London : Imprint: Springer, 2010)