An approach to the specification driven testing of analogue circuits | IEEE Conference Publication | IEEE Xplore