Targetting PLDs for high-level High Integrity Systems Development