Dependable Systems Research Group → https://cmpe.bogazici.edu.tr/g-depend