Here are the following ingredients:
Here are the following shopping items to buy:
Follow these cooking methods/directions:
Preheat electric pressure cooker on the sear/sauté function.
Season the beef all over with salt and pepper. Melt 1 tbsp (15 mL) butter in pressure cooker pot. Add beef shanks, in batches, and cook, turning once, for about 5 minutes per side or until browned. Transfer to a plate and repeat with remaining shanks.
Add remaining 1 tbsp (15 mL) butter to pot. Add onion, carrots, celery and garlic; cook, stirring, for 3 minutes or until softened. Stir in tomato paste and red wine and simmer for 2 minutes. Stir in tomatoes, beef broth, thyme, rosemary and bay leaves. Nestle the beef shank back into the pot and pour in any accumulated juices.
Seal the electric pressure cooker lid and make sure the vent is closed. Set the pressure to HIGH and time for 40 minutes.
When the timer beeps, let pressure release naturally for 10 minutes. Quick release any remaining pressure. Carefully lift the meat with the bone from the sauce with a slotted spoon into serving bowls. Discard herb stems and bay leaves from sauce. Spoon sauce over beef.