Renaming example to reference systems, adding specs