• Model-Based Design pro programovatelné automaty 

      Autor: Andrejco Michal; Vedoucí práce: Hlinovský Martin; Oponent práce: Šmejkal Ladislav
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2011-10-14)