Zaslat SMS: Identifiability of state space models: with applications to transformation systems