Model Checking (MC) is a technology and PSL/SVA are "specification languages" that are inputs to this technology. MC has existed much before PSL/SVA came into existence. Do a google search on MC, you will find tons of references in several universities, each using its own input language (for e.g. VIS tool, recently they added PSL front end).
Now, a personal plug-in - my company will be covering this and much more as part of our advanced Verification trainings in Bangalore, write to ajeetha <> gmail.com if interested.