Safety-critical Systems Symposiumのリリース