Auxiliary State Machines and Auxiliary Functions: Constructs for Extending AMS Assertions | IEEE Conference Publication | IEEE Xplore