3 ms·Have you tried considering UPPAAL?by raister 7y agoHave you tried considering UPPAAL?gralx 7y agoNo - first I've heard of it. Just looked at its Wikipedia page. Color me intrigued.... Thank you!