This package provides various views for visualizing a system state.