Metodología MEDISTAM
Esta metodología de desarrollo de sistemas de tiempo real permite generar una especificación formal, completa y correcta de dichos sistemas, mediante la aplicación de una serie de transformaciones partiendo de modelos visuales construidos en UML-RT