Los puntos clave no están disponibles para este artículo en este momento.
A promising, useful tool for future programming development environments.
Alur et al. (Tue,) studied this question.