السايح، خالد ناصر أحمد، و بطاز، محمد. (2018). From Unified Modeling Language/Modeling and Analysis of Real-Time Embedded Systems Component Based Specifications to Communicating Sequential Processes-Object Z Specifications (رسالة ماجستير غير منشورة). جامعة فيلادلفيا، البلقاء. مسترجع من http://search.mandumah.com/Record/1465347
السايح، خالد ناصر أحمد، و محمد بطاز. "From Unified Modeling Language/Modeling and Analysis of Real-Time Embedded Systems Component Based Specifications to Communicating Sequential Processes-Object Z Specifications" رسالة ماجستير. جامعة فيلادلفيا، البلقاء، 2018. مسترجع من http://search.mandumah.com/Record/1465347