Time and Space Partition Platform for Safe and Secure Flight Software | Publicación