"SPICE"@cs .