A Method Of Hierarchical Specification And Prototyping Of Flexible Manufacturing Systems (FMS) | IEEE Conference Publication | IEEE Xplore