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