20 Years of Mixed and Modal Specifications