Formal methods for reconfigurable assembly systems Posted on 14/06/202107/02/2023 Author: Ribeiro, T; Goncalves, G Year: 2010 Posted in Uncategorized.