Moving model-checking task to class ModelCheckingTask. Replaced Jobs by
Threads to interrupt them when the user presses the cancel requrest
button.