Knowledge Engineering Rules for Manufacturing System design (KERMAS): specify and justify FMS incremental implementations