Envoyer par SMS: Design for a Testing Model of a Communication Subsystem for a Safety - Critical Control System