Text this: Búsqueda de modelamiento a alto nivel de sistemas electrónicos, incorporando variables y restricciones propias del entorno