Systems engineering and architecting : creating formal requirements /: creating formal requirements. (©2012)