Safety analysis of Brazilian suborbital launch operations based on system-theoretic approach | IEEE Conference Publication | IEEE Xplore