Chapter 3. Reviewing a system by using the tuna interface