Formal Verification Of A Component Platform