Automatically finding bugs in a commercial cyber-physical system development tool chain with SLforge. - Shafiul Azam Chowdhury; Soumik Mohian; Sidharth Mehra; Siddhant Gawsane; Taylor T. Johnson; Christoph Csallner (ICSE, 2018)