Příprava laboratoře pro výuku předmětu Programovatelné automaty - Čermák, Tomáš (2012)