Form Z by Design: A Brief Tutorial