The spatial logic model checker user's manual: version 0.9