Příklady úspěšných aplikací PVS a robotizovaných komplexů - Svoboda, Karel (Videopress-MON, 1989)