Pressure Cooker Pork Osso Buco

Osso Buco

• 2.2 lb (1 kg) pork shank slices, each about 1 inch (2.5 cm) thick (about 6 slices total)
• 2 tbsp (30 ml) olive oil
• 1 onion, finely chopped
• 2 celery stalks, chopped
• 2 carrots, chopped
• 3 garlic cloves, chopped
• 2 tbsp unbleached all-purpose flour
• 1/2 cup (125 ml) dry white wine
• 1 cup (250 ml) veal broth
• 1/4 cup (60 ml) tomato paste
• 1 thyme sprig

Gremolata

• 2 lemons, zest finely grated
• 1/4 cup (10 g) flat-leaf parsley, finely chopped
• 1 garlic clove, very finely chopped