As the complexity of safety-critical medical devices increases, so does the need for clear, verifiable software requirements. This paper explores the use of Kapture, a formal modelling tool developed by D-RisQ, to translate an existing formal VDM model of a medical implant for treating focal epilepsy called CANDO. A student undertook the work without prior experience in formal methods. The pa-per assesses Kapture’s usability, the challenges of formal modelling, and the effectiveness of the translated model. The result is a Kapture model that covers over 90% of the original VDM model and produces matching results. While several is-sues were encountered during design and implementation, mainly due to the initial learning curve, this paper demonstrates that complex systems can be effectively modelled in Kapture by users inexperienced in formal methods and highlights some of the difficulties in translating formal specifications to Kapture.