Hd-Sec presents (poster) the accepted paper A Lightweight Approach to the Concurrent Use and Integration of SysML and Formal Methods in Systems Design In MODELS 2022 ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, 23-28 October, Montreal, Canada.