Toon vak Formal Modeling of Communicating Systems