Formal methods for reconfigurable assembly systems. - Tiago Oliveira Ribeiro; Gil Gonçalves 002 (ETFA, 2010)