What is the correct way to encode PANTONE colors in SVG files?

I have an application that spits out SVG images, and for printing purposes, I would like it to create correctly encoded PANTONE colors (where it was known). The SVG specifications are not very detailed in what the output should look like, and I could not find any examples on the Internet, despite some searches.

My attempts still do not work for display purposes (at least in Google Chrome), so I am probably here, but so far I have tried this ( gist ):

<?xml version="1.0" encoding="UTF-8"?>
<!-- This file is an attempt at specifying the Italian flag with the -->
<!-- proper Pantone colours, as noted in the Wikipedia talk page, at -->
<!--  http://commons.wikimedia.org/wiki/File_talk:Flag_of_Italy.svg  -->
<svg xmlns="http://www.w3.org/2000/svg" version="1.2" viewBox="0 0 3 2">
<!-- Verde  --><rect fill="#009246 icc-color(17-6153)" width="1" height="2"/>
<!-- Bianco --><rect fill="#f1f2f1 icc-color(11-0601)" width="1" height="2" x="1"/>
<!-- Rosso  --><rect fill="#ce2b37 icc-color(18-1662)" width="1" height="2" x="2"/>
</svg>

I probably need to indicate what color profile this is, according to the SVG specs , but I'm not quite sure how to do this. Entrance is appreciated.