SMS versenden: A formal model of partitioning for integrated modular avionics / Ben L. Di Vito.