José M. Garrido. Applying Empirical and Formal Methods for Modelling Systems with Concurrency and Timing Aspects. In Proceedings of the 2017 ACM Southeast Regional Conference, Kennesaw, GA, USA, April 13-15, 2017. pages 81-87, ACM, 2017. [doi]
Abstract is missing.