Structuring, Specification And Validation Of The Control Part In Flexible Production Systems | IEEE Conference Publication | IEEE Xplore