Failure logic modelling : a pragmatic approach. - Oleg Lisagor (2010)

Symbolic Model Checking and Safety Assessment of Altarica models. - Marco Bozzano; Alessandro Cimatti; Oleg Lisagor; Cristian Mattarei; Sergio Mover; Marco Roveri; Stefano Tonetta (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Safety assessment of AltaRica models via symbolic model checking. - Marco Bozzano; Alessandro Cimatti; Oleg Lisagor; Cristian Mattarei; Sergio Mover; Marco Roveri; Stefano Tonetta (Sci. Comput. Program., 2015)