This methodology was observed .
This methodology was adapted later by the United States Department of Defense for the official certification of Ada compilers .
This methodology was observed and adapted later by the United States Department of Defense for the official certification of Ada compilers .