Started in writing the Promela output