Design of Cyber Bio-analytical Physical Systems: Formal methods, architectures, and multi-system interaction strategies