ASDE: Design of a Transformational Environment for LOTOS