towards integration of model checker