Translating flowcharts to non-deterministic languages. - Surinder Kumar Jain; Chenyi Zhang 001; Bernhard Scholz (PEPM, 2012)