Nets-within-Nets to Model Innovative Space System Architectures. - Frédéric Cristini; Catherine Tessier (Petri Nets, 2012)