selected publications conference paper Lightweight Requirements Engineering for Exascale Co-design. . 2018