[rramadass]

The above resources are not examples but methodology/process using various techniques to produce various artifacts which specify the requirements unambiguously. It is up to the practitioner to choose his techniques and use the methodologies (tweaking as needed) in a systematic manner to convey the requirements to stakeholders for approval.

Lots of complex systems have been built and understood using the above. As system complexity grows, doing the above is even more important even though it be hard.

Some references;

1) A Rational Design Process: How and Why to Fake It by David Parnas and Paul Clements (pdf) - https://users.ece.utexas.edu/~perry/education/SE-Intro/fakei...

2) How Designers Work by Henrik Gedenryd - https://news.ycombinator.com/item?id=48352065