Automatizace železniční dopravy Praha, státní podnik "v likvidaci"