The following article describes how the Savara project is being used in practice to support the Zero Deviation Lifecycle (ZDLC) approach used by Cognizant:

http://ovum.com/2013/02/04/zero-deviation-lifecycle-gives-requirements-engineering-and-software-modeling-a-refresh/