Spatial Functions for Modeling and Analysis of Safety-Critical Systems of Systems. - Benjamin Lanier; Leonard Petnga (SoSE, 2019)