The modelling of a spaceflight optical disk recorder controller using the architecture design and assessment system | IEEE Conference Publication | IEEE Xplore