Deliverable D 1 . 3 / 1 Extending PSL for Analog Circuits