Applying the SMoLCS Specification Methodology to the CNET Architecture