इसका टेक्स्ट मैसेज भेजे: A formal model of partitioning for integrated modular avionics / Ben L. Di Vito.