Automated property-based testing from AADL component contracts. - John Hatcliff; Jason Belt; Robby; Jacob Legg; Danielle Stewart; Todd Carpenter (Int. J. Softw. Tools Technol. Transf., 2025)