In this paper, we present an integrated toolset that implements the features of the Timed Abstract State Machine (TASM) language, a novel specification language for embedded real-time systems. The toolset enables the creation of executable specifications with well-defined execution semantics, abstraction mechanisms, and composition semantics. The features of the toolset are demonstrated using an Electronic ThrottleController (ETC) from a major automotive vendor. The TASM toolset is used to analyze the resource consumption resulting from the mode switching logic of the ETC, and to verify the completeness and consistency of the specification.