Models Checking Fixture 43 624 5 Education University of Sriwijaya S1, Mechanical Engineer • January 1999 - January 2005