A process algebra based verification of a production system | IEEE Conference Publication | IEEE Xplore