extensions of STA and additional aspects of its application.  State-Trace Analysis will