Model Checking of Biological Systems. - Brim, Lubos; Ceska, Milan; Safránek, David (2013)