In Proceedings of the 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 4–7 September 2019; pp. 17–21. [Google Scholar] Grov, J.; Ölveczky, P.C. Formal modeling and analysis of Google’s Megastore in Real-Time Maude. In ...