Developing Safety-Critical Software A Practical Guide for Aviation software You will find that this textbook includes discussion questions for group work.
