Telefona gönder: Formal Verification in Automated Manufacturing