Formal Modeling: Actors, Open Systems, Biological Systems