A Tutorial on the Positive Realization Problem | Synapse