Gravar-mail: Using formal methods to scope performance challenges for Smart Manufacturing Systems: focus on agility