Výukový model nápojového automatu pro cvičení předmětu Programovatelné automaty - Macek, Daniel (2013)