Podobné jednotky: Formal Verification in Automated Manufacturing