Added example formulations for PSR-X and PSR-R