81 followers Bogdan Aman @BogdanAman An interesting extension of #Uppaal https://t.co/23hz7BOlbM 10 Feb 2016 Reply Repost Favourite