• Operadores Modales: Explorar las creencias subyacentes a las afirmaciones sobre lo que se debe o no se puede hacer. • Causa-Efecto: Diferenciar entre la causa y el efecto percibidos y la realidad de la experiencia. In program engineering, the usage of models is an alterna