Verifying Modelling Languages using Lightning: a Case Study. - Loïc Gammaitoni; Pierre Kelsen; Fabien Mathey (MoDeVVa@MoDELS, 2014)