A homogeneous framework for AMS languages instrumentation, abstraction and simulation