Update Model Checker GUI to include time representation feature and correct calls to makefile system.