A practical introduction to PSL - Eisner, Cindy (Series on integrated circuits and systems, 2006)