what models of aircraft were designed by antonin vlasák?
(AND aviation.aircraft_model (JOIN aviation.aircraft_model.designed_by m.02hvwf0))