أرسل هذا في رسالة قصيرة: A formal model of partitioning for integrated modular avionics / Ben L. Di Vito.