Proven correct monitors from PSL specifications