Model výtahu pro výuku předmětu Programovatelné automaty - přepracování stávajícího modelu - Žaludek, Jindřich (2013)