Christine Largouët, Marie-Odile Cordier, Yves-Marie Bozec, Yulong Zhao, Guy Fontenelle. Use of timed automata and model-checking to explore scenarios on ecosystem models. Environmental Modelling and Software, 30:123-138, 2012. [doi]
Abstract is missing.