Conservative behavioural modelling in systemc-AMS