An Efficient Algorithm for Minimizing Real-time Transition Systems
Liveboard: a large interactive display supporting group meetings, presentations, and remote collaboration