A Design for verification approach using an embedding of PSL in AsmL