A Library-Based Approach for Writing Design Assertions. - Yoonsik Cheon; Ricardo Lozano; Rajasoundarya Senthil Prabhu (SERA, 2023)