Finding the contradictions between requirements of embedded systems is a very difficult challenge... except if you got STIMULUS which detects the conflicting requirements automatically. Here is how:

Systems Engineering ​​​​​​​Stimulus ​​​​​​​Argosim