Conservative behavioural modelling in systemc-AMS | IEEE Conference Publication | IEEE Xplore