Adds specs for State model