Use of timed automata and model-checking to explore scenarios on ecosystem models. - Christine Largouët; Marie-Odile Cordier; Yves-Marie Bozec; Yulong Zhao; Guy Fontenelle (Environ. Model. Softw., 2012)