I've been meaning to make pressure cooked mustard seeds ever since I got my hands on a pressure cooker. The original method by Dave Arnold can be found on
Cooking Issues (about half way down the page).
Get a couple of pots on to boil.
Blanch 1/2 a cup of mustard seeds in 3 changes of water. Strain the mustard seeds and add to the pressure cooker with 1 litre of cider vinegar. Cook on high pressure for 20 minutes.
Strain the mustard seeds and season. I used some honey, whiskey and flaky sea salt.