Příklady úspěšných aplikací PVS a robotizovaných komplexů - Appeltauer, Jiří (INPRO OBIS, 1989)