prepaid, secured controller specs, state model spec