A use case driven approach to synthesis and analysis of flexible manufacturing systems | IEEE Conference Publication | IEEE Xplore