Statistical model checking for distributed probabilistic-control hybrid automata with smart grid applications (2011)

by J Martins, A Platzer, J Leite
Venue:Formal Methods and Software Engineering, volume 6991 of Lecture Notes in Computer Science