ECSS Compliance using Model-Based Design: A Vision-Based Navigation System on FPGAs | IEEE Conference Publication | IEEE Xplore