Cindy Eisner, Dana Fisman: Functional Specification of Hardware via Temporal Logic. Handbook of Model Checking 2018: 795-829