Modelo de construcción de Sistemas Interactivos basado en técnicas formales