Modeling dependable space systems

Author: Rafal Graczyk
Conference: Title