Structured Transition Systems as Lax Coalgebras