L. González Palacio and G. Urrego Giraldo, “Modelo de requisitos para sistemas embebidos”, rev.ing.univ.Medellin, vol. 7, no. 13, pp. 111-127, 1.