SMS: Dynamic Model Analysis