Return to Article Details Formal Modeling of Cyber-Physical System for Conveyor Sorter Download Download PDF