Formal Modeling: Actors; Open Systems, Biological Systems