Title: Case studies in hard systems analysis