Formal modelling of release control policies as a plug-in for performance evaluation of manufacturing systems