Formal Modeling: Actors, Open Systems, Biological Systems - Agha, Gul (Springer Berlin Heidelberg, 2011)