LSAT: Specification and Analysis of Product Logistics in Flexible Manufacturing Systems | IEEE Conference Publication | IEEE Xplore