PIM: added address to AssertMetric
PIMSM: implemented Assert state machine transitions