Open pppaal opened 10 months ago
https://docs.google.com/presentation/d/18uKP7hrcb8qbgEm2kmIN21cZDA6gIkPn/edit#slide=id.p4
https://docs.google.com/presentation/d/18uKP7hrcb8qbgEm2kmIN21cZDA6gIkPn/edit#slide=id.p4