On formalism and stability of switched systems