We are working on a plc-air project, PLC analysis and transformation in Rascal, based on the thesis work of @BaukeBerg.
This project is currently under heavy maintenance and not ready for release. If you are interested, please contact Jurgen.Vinju@cwi.nl