Using formal methods to scope performance challenges for Smart Manufacturing Systems: focus on agility.

Using formal methods to scope performance challenges for Smart Manufacturing Systems: focus on agility.