An example of a PAS-X System Architecture