My project name has varied a bit over the course of the years. Right now it's ASSESS (Architectures for the Structured Specification of Embedded Systems Software). It is sponsored by NWO.
Here's more information and some history.
Latest paper:
Verifying a Bus-Arbitration Protocol with PVS.
Biphase Mark Protocol PVS files.
A tool for collecting statistics on PVS proofs
An overview of papers is available, too.
Eventually My thesis will be done.