@Book {L1,

author =       {Marcin Szpyrka},
title =        {Sieci Petriego},
publisher =    {WNT},
year =         {2008},
isbn =         {978-83-204-3378-4},

} @Book{L2,

author = 	 {Zbigniew Huzar},
title = 	 {LOTOS - język formalnych specyfikacji systemów informatycznych},
publisher = 	 {Wydawnictwa Politechniki Wrocławskiej},
year = 	 {2007},
isbn =         {978-83-7493-335-3}

} @Book{L3,

author = 	 {Tomasz Szmuc, et al.},
title = 	 {Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego},
publisher = 	 {WNT},
year = 	 {2010},
isbn =         {978-83-204-3669-3}

} @Book{L4,

author = 	 {Christel Baier and Joost-Pieter Katoen},
title = 	 {Principles of Model Checking},
publisher = 	 {The MIT Press},
year = 	 {2008},
isbn =         {978-0-262-02649-8}

} @book{L5,

author = {Fencott, Clive},
title = {Formal methods for concurrency},
publisher = {International Thomson Computer Press},
year = {1996}

} @book{L6,

author = {Klimek, Radosław},
title = {Wprowadzenie do logiki temporalnej},
publisher = {Wydawnictwa AGH},
year = {1999},
issn = {0239-6114}

}