PSL; abstract state machines; AsmL; model checking; PCI-X bus