Transformation of PROMELA to Channel Systems - Huda, Sheila Nurul (2013)