Үүнийг мессежээр илгээх: Unfoldings : a partial-order approach to model checking / Javier Esparza, Keijo Heljanko.