Add StateService Specifications